diff options
| author | Thomas Boerger <thomas@webhippie.de> | 2017-03-15 13:30:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-15 13:30:00 +0100 |
| commit | a06c3ad2c02a5473184711be6dbf1b30f0299e11 (patch) | |
| tree | ce0ac065a6afa843ce298d00d1761b5cf48accf9 /options/gitignore/Coq | |
| parent | 09fe4a2ae9dfa8b3bc8a5039d0feab1e1a34d07b (diff) | |
| download | gitea-a06c3ad2c02a5473184711be6dbf1b30f0299e11.tar.gz gitea-a06c3ad2c02a5473184711be6dbf1b30f0299e11.zip | |
Synced gitignores with github repo (#1245)
* Renamed scripts directory into contrib
* Added script to download gitignores from github
* Synced gitignores with github repo
Diffstat (limited to 'options/gitignore/Coq')
| -rw-r--r-- | options/gitignore/Coq | 29 |
1 files changed, 28 insertions, 1 deletions
diff --git a/options/gitignore/Coq b/options/gitignore/Coq index d3083b3a60..f25a61d996 100644 --- a/options/gitignore/Coq +++ b/options/gitignore/Coq @@ -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 |