diff options
| author | Glenn Morris <rgm@gnu.org> | 2007-09-06 04:06:39 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2007-09-06 04:06:39 +0000 |
| commit | 43475ab35054bf5715d6424f0e1819b416b2358a (patch) | |
| tree | 11836a46fc7cbe52bdcd75623559e7015dba6640 | |
| parent | 5371a305dc480d7cc8a9a4116c01e86fe553313f (diff) | |
Move here from ../../lispintro/
| -rw-r--r-- | doc/lispintro/.gitignore | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/doc/lispintro/.gitignore b/doc/lispintro/.gitignore new file mode 100644 index 0000000000..e1af5a918b --- /dev/null +++ b/doc/lispintro/.gitignore @@ -0,0 +1,21 @@ +*.aux +*.fn +*.fns +*.cps +*.cp +*.kys +*.ky +*.toc +*.pgs +*.pg +*.log +*.vrs +*.vr +*.dvi +*.ps +*.tp +*.tps +*.tmp +*.txt +Makefile +makefile |