chiark / gitweb /
strategy: define W in Notation
[topbloke-formulae.git] / .gitignore
index 310442b..1d15410 100644 (file)
@@ -5,3 +5,5 @@
 *.pdf
 *.ps
 *~
+revid.inc
+*.new