diff options
| author | Maxime Dénès | 2016-10-24 15:03:23 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2016-10-24 18:31:51 +0200 |
| commit | 4968f4d4282698a1d894dff232b864d7b8dda1b3 (patch) | |
| tree | 6e83d1ce981a4035016b80a5e6ebc27de7d2a442 | |
| parent | 166634c57bbad2e727364a97bf30bc3d67d2f2a8 (diff) | |
| parent | 81bdc22146d51f0131bffc12d4668f3902982f33 (diff) | |
Merge commit '81bdc22' into v8.6
Was PR#301: Update .gitignore with new names for psatz caches.
| -rw-r--r-- | .gitignore | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/.gitignore b/.gitignore index 4acd9930e3..bea12162c4 100644 --- a/.gitignore +++ b/.gitignore @@ -52,9 +52,9 @@ dev/ocamldebug-coq plugins/micromega/csdpcert kernel/byterun/dllcoqrun.so coqdoc.sty -csdp.cache -test-suite/lia.cache -test-suite/nra.cache +.csdp.cache +test-suite/.lia.cache +test-suite/.nra.cache test-suite/trace test-suite/misc/universes/all_stdlib.v test-suite/misc/universes/universes.txt @@ -68,7 +68,7 @@ doc/faq/axioms.eps_t doc/faq/axioms.pdf doc/faq/axioms.pdf_t doc/faq/axioms.png -doc/refman/csdp.cache +doc/refman/.csdp.cache doc/refman/trace doc/refman/Reference-Manual.pdf doc/refman/Reference-Manual.ps @@ -135,7 +135,7 @@ kernel/copcodes.ml tools/tolink.ml theories/Numbers/Natural/BigN/NMake_gen.v ide/index_urls.txt -lia.cache +.lia.cache checker/names.ml checker/names.mli checker/esubst.ml |