diff options
Diffstat (limited to 'doc/.gitignore')
-rw-r--r-- | doc/.gitignore | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/doc/.gitignore b/doc/.gitignore deleted file mode 100644 index 91275d6f..00000000 --- a/doc/.gitignore +++ /dev/null @@ -1,27 +0,0 @@ -*.aux -*.cp -*.cps -*.dvi -*.fn -*.fns -*.html -*.ky -*.log -*.pdf -*.pg -*.ps -*.toc -*.tp -*.vr -.dirstamp -fdl-1.3.texi -gendocs_template -gpl-3.0.texi -Makefile.in -Makefile -manual -m4.info* -m4.1 -regexprops-generic.texi -stamp-vti -version.texi |