diff options
| -rw-r--r-- | lispintro/.gitignore | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/lispintro/.gitignore b/lispintro/.gitignore deleted file mode 100644 index e1af5a918b0..00000000000 --- a/lispintro/.gitignore +++ /dev/null @@ -1,21 +0,0 @@ -*.aux -*.fn -*.fns -*.cps -*.cp -*.kys -*.ky -*.toc -*.pgs -*.pg -*.log -*.vrs -*.vr -*.dvi -*.ps -*.tp -*.tps -*.tmp -*.txt -Makefile -makefile |