lemma calculation of ends, no proof yet

[topbloke-formulae.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index cafc31f1bbe41c20b0ff6cde4a5c5ba2d9135a8c..310442b91e14e32a2df67133ab3e401564a2dcab 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -3,4 +3,5 @@
 *.dvi
 *.out
 *.pdf
+*.ps
 *~