diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore index b06f96c78..86e2c499b 100644 --- a/.gitignore +++ b/.gitignore @@ -5,9 +5,6 @@ INSTALL.* .configure-stamp man/man?/*.1 man/man?/*.html -markdown2pdf -html2markdown -hsmarkdown *.diff pandoc.cabal.orig |