diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -67,4 +67,6 @@ # MacOS metadata .DS_Store # Test generated data -/test/clightgen/*.v
\ No newline at end of file +/test/clightgen/*.v +# Coq cache +.lia.cache |