diff options
| author |  Jason Gross <jagro@google.com> | 2016-07-01 08:54:23 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-07-01 08:54:23 -0700 |
| commit | f2f2f3e43f8a3058e0f5838d8bd7b24af6c99ac9 (patch) | |
| tree | d59113cf5fbb6c09824fe3403528e9d2f8962a64 /.gitignore | |
| parent | 0e8adaa7c1e546f442ac7e0f6d3e81c0e7e985b8 (diff) | |
Update .gitignore with lia, nia caches
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/.gitignore b/.gitignore index f88b441c8..43e314274 100644 --- a/.gitignore +++ b/.gitignore @@ -1,10 +1,12 @@ -.#* -*~ *# *.aux *.d *.glob -Makefile.bak -Makefile.coq *.vio *.vo +*~ +.#* +Makefile.bak +Makefile.coq +lia.cache +nlia.cache |