Merge pull request #3701 from JasonGross/patch-1

Update Coq.gitignore
2021-05-06 06:13:35 -07:00 · 2021-05-06 06:13:35 -07:00 · 5253281c9f
commit 5253281c9f
parent 218a941be9 68f4c9a5a9
1 changed files with 3 additions and 1 deletions
--- a/Coq.gitignore
+++ b/Coq.gitignore
@ -10,6 +10,7 @@
 *.glob
 *.ml.d
 *.ml4.d
+*.mlg.d
 *.mli.d
 *.mllib.d
 *.mlpack.d
@ -20,7 +21,7 @@
 *.vo
 *.vok
 *.vos
-.coq-native/
+.coq-native
 .csdp.cache
 .lia.cache
 .nia.cache
@ -31,6 +32,7 @@ lia.cache
 nia.cache
 nlia.cache
 nra.cache
+native_compute_profile_*.data

 # generated timing files
 *.timing.diff