annotate doc/lispintro/.cvsignore @ 84778:7e5ed8ab5358

(checkdoc-force-docstrings-flag) (checkdoc-permit-comma-termination-flag): Autoload the safe-local-variable setting.
author Dan Nicolaescu <dann@ics.uci.edu>
date Sat, 22 Sep 2007 03:37:47 +0000
parents ff8710d1c6c7
children 8476a21754a6
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
83967
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 *.aux
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2 *.fn
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 *.fns
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 *.cps
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5 *.cp
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 *.kys
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 *.ky
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8 *.toc
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 *.pgs
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10 *.pg
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
11 *.log
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12 *.vrs
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13 *.vr
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 *.dvi
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 *.ps
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 *.tp
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 *.tps
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 *.tmp
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19 *.txt
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
20 Makefile
ff8710d1c6c7 Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21 makefile