ignore lean_decls

kbuzzard · kbuzzard · commit 18d69af30a6b · 2024-04-30T10:03:53.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -6,6 +6,8 @@
 blueprint/print/print.log
 blueprint/web/
 blueprint/print/
+# KB guesses this is safe (he's asked Patrick)
+blueprint/lean_decls
 # Files generated by LaTeX
 *.aux
 *.bbl
