diff options
Diffstat (limited to 'manual/.gitignore')
-rw-r--r-- | manual/.gitignore | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/manual/.gitignore b/manual/.gitignore deleted file mode 100644 index 55c49c9..0000000 --- a/manual/.gitignore +++ /dev/null @@ -1,30 +0,0 @@ -*.aux -*.c.texi -*.cp -*.cps -*.dvi* -*.fn -*.fns -*.info* -*.ky -*.kys -*.log -*.pdf -*.pg -*.pgs -*.ps -*.tmp -*.toc -*.tp -*.tps -*.vr -*.vrs -chapters.texi -dir-add.texi -dir-add.texinfo -libm-err.texi -stamp-* -summary.texi -texis -top-menu.texi -version.texi |