diff options
| author | Glenn Morris <rgm@gnu.org> | 2007-09-06 04:07:50 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2007-09-06 04:07:50 +0000 |
| commit | d7625e640a60b2f60613b63b639df61f149c9daf (patch) | |
| tree | d2325b5f6fce77cacb57131eeec2bbc84cacc1a4 | |
| parent | 43475ab35054bf5715d6424f0e1819b416b2358a (diff) | |
Move to ../doc/lispintro
| -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 e1af5a918b..0000000000 --- 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 |