Verified Commit e1712732 authored by Tej Chajed's avatar Tej Chajed
Browse files

Update gitignore

See (.coqdeps.d now uses the name
of the Coq Makefile) and (Coq now
generates empty interface files *.vos when compiling).
parent 0ed618e1
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment