chiark / gitweb /
.gitignore: Also ignore Metapost output.
[dnd] / .gitignore
index 4ccfb2ded0a84868b153d796f7341af774add4d2..440a800386b578c915e03596b562bb1b2c45766f 100644 (file)
@@ -10,5 +10,6 @@
 *.toc
 
 ## Output files
+*.[1-9]
 *.pdf
 *.ps