Skip to content
GitLab

Update gitignore for compatibility with Coq master

Merged Tej Chajed requested to merge tchajed/stdpp:fix-gitignore into master

See https://github.com/coq/coq/pull/10947 (.coqdeps.d now uses the name of the Coq Makefile) and https://github.com/coq/coq/pull/8642 (Coq now generates empty interface files *.vos when compiling).

Merge request reports