diff options
Diffstat (limited to 'doc/develenv/.cvsignore')
-rw-r--r-- | doc/develenv/.cvsignore | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/doc/develenv/.cvsignore b/doc/develenv/.cvsignore deleted file mode 100644 index d3a40708fb..0000000000 --- a/doc/develenv/.cvsignore +++ /dev/null @@ -1,22 +0,0 @@ -develenv -develenv.aux -develenv.cp -develenv.dvi -develenv.fn -develenv*.html -develenv.info -develenv.ky -develenv.log -develenv.pdf -develenv.pg -develenv.ps -develenv.toc -develenv.tp -develenv.vr -direct.texi -index.html -Makefile -Makefile.in -mdate-sh -sample.texi -utils.texi |