]> source.dussan.org Git - gitignore.git/commit
projects / gitignore.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 218a941) | patch
Update Coq.gitignore 3701/head
authorJason Gross <jasongross9@gmail.com>
Tue, 13 Apr 2021 14:39:58 +0000 (10:39 -0400)
committerGitHub <noreply@github.com>
Tue, 13 Apr 2021 14:39:58 +0000 (10:39 -0400)
commit68f4c9a5a9710d0e7a669a760d15e76107e69acf
treebede80d84a26a9619fdd871751c384bfc16e7247tree | snapshot
parent218a941be92679ce67d0484547e3e142b2f5f6f0commit | diff
Update Coq.gitignore

Coq now uses .mlg rather than .ml4 (since https://github.com/coq/coq/pull/8763), so we have to ignore its generated dependency files.  The `native_compute_profile_*.data` files are generated by `Set NativeCompute Profiling` (see https://github.com/coq/coq/pull/950).  Finally `.coq-native` is a directory that may be generated in any subdirectory, not only at top level, so we should not use absolute paths for it.
Coq.gitignore diff | blob | history
A collection of useful .gitignore templates: https://github.com/github/gitignore