annotate doc/lispintro/.cvsignore @ 99012:1672f297f7ed

* files.texi (Diff Mode): Document diff-show-trailing-whitespaces.
author Chong Yidong <cyd@stupidchicken.com>
date Tue, 21 Oct 2008 23:16:21 +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