chore: gitignore Coq .lia.cache (Lia tactic build artifact from F1.4)

claude · hyperpolymath · commit 3fd42b1a3070 · 2026-06-14T16:30:38.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -70,3 +70,4 @@ CoqMakefile.conf
 *.vos
 *.glob
 .*.aux
+.lia.cache

-Original file line number
+Diff line change
 *.vos
 *.glob
 .*.aux
 +.lia.cache