Commit 9ea8eda9 authored by Amin Timany's avatar Amin Timany
Browse files

ignore .lia.cache

parent 7a83eae1
......@@ -31,3 +31,4 @@ Makefile.coq*
.coqdeps.d
build-dep
_opam
.lia.cache
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment