From 81dc3ac56c1b78e2549551901f451d659b67c222 Mon Sep 17 00:00:00 2001 From: Mark Wooding Date: Thu, 6 Aug 2015 09:45:42 +0100 Subject: [PATCH] .gitignore: Also ignore Metapost output. --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 4ccfb2d..440a800 100644 --- a/.gitignore +++ b/.gitignore @@ -10,5 +10,6 @@ *.toc ## Output files +*.[1-9] *.pdf *.ps -- 2.11.0