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 83b0108..0000000 --- a/doc/.gitignore +++ /dev/null @@ -1,27 +0,0 @@ -flex.aux -flex.cp -flex.cps -flex.dvi -flex.fn -flex.fns -flex.hk -flex.hks -flex.info* -flex.ky -flex.log -flex.op -flex.ops -flex.pg -flex.toc -flex.tp -flex.tps -flex.vr -flex.vrs -Makefile -Makefile.in -flex.1 -flex.pdf -flex.ps -version.texi -flex.html -flex.t2p |