diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-09-29 14:34:41 -0400 |
|---|---|---|
| committer |  Maxime Dénès <mail@maximedenes.fr> | 2016-10-24 15:02:49 +0200 |
| commit | 81bdc22146d51f0131bffc12d4668f3902982f33 (patch) | |
| tree | 24b6fdb5ac7969cfbd5782151f32ffef1dda2606 /.gitignore | |
| parent | edb55a94fc5c0473e57f5a61c0c723194c2ff414 (diff) | |
Update .gitignore with new names for psatz caches
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/.gitignore b/.gitignore index 4acd9930e..bea12162c 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 |