diff options
author | James Lopez <james@jameslopez.es> | 2017-01-09 15:24:25 +0100 |
---|---|---|
committer | James Lopez <james@jameslopez.es> | 2017-01-09 15:24:25 +0100 |
commit | 719294cbfe522f1706292dccb5f269503502b37d (patch) | |
tree | 42cefeae624c315e3c525042502b40a1e040debc /vendor/gitignore/Coq.gitignore | |
parent | 583deef209af5a2700701fb0933582a7b5680620 (diff) | |
download | gitlab-ce-719294cbfe522f1706292dccb5f269503502b37d.tar.gz |
update templates
Diffstat (limited to 'vendor/gitignore/Coq.gitignore')
-rw-r--r-- | vendor/gitignore/Coq.gitignore | 29 |
1 files changed, 28 insertions, 1 deletions
diff --git a/vendor/gitignore/Coq.gitignore b/vendor/gitignore/Coq.gitignore index d3083b3a605..f25a61d9964 100644 --- a/vendor/gitignore/Coq.gitignore +++ b/vendor/gitignore/Coq.gitignore @@ -1,3 +1,30 @@ -*.vo +.*.aux +*.a +*.cma +*.cmi +*.cmo +*.cmx +*.cmxa +*.cmxs *.glob +*.ml.d +*.ml4.d +*.mli.d +*.mllib.d +*.mlpack.d +*.native +*.o *.v.d +*.vio +*.vo +.coq-native/ +.csdp.cache +.lia.cache +.nia.cache +.nlia.cache +.nra.cache +csdp.cache +lia.cache +nia.cache +nlia.cache +nra.cache |