diff options
| author | Gaëtan Gilbert | 2018-10-19 21:19:50 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-10-19 21:19:50 +0200 |
| commit | d48f7c7bd8d297c61de2dcb3b4e44c340de8edaf (patch) | |
| tree | 6ec2d9f45e2e25d7d9246f6839bcc27012213504 /.gitignore | |
| parent | 3799939088b5aa616974a0d37de7e2616024f222 (diff) | |
gitignore test-suite/.nia.cache
This gets generated since 7f445d1027cbcedf91f446bc86afea36840728ba
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore index f741135211..538124b8e5 100644 --- a/.gitignore +++ b/.gitignore @@ -68,6 +68,7 @@ time-of-build-after.log .csdp.cache test-suite/.lia.cache test-suite/.nra.cache +test-suite/.nia.cache test-suite/trace test-suite/misc/universes/all_stdlib.v test-suite/misc/universes/universes.txt @@ -165,8 +166,6 @@ checker/esubst.mli user-contrib .*.sw* .#* -test-suite/.lia.cache -test-suite/.nra.cache plugins/ssr/ssrparser.ml plugins/ssr/ssrvernac.ml |