annotate lispintro/.cvsignore @ 60706:c102b0eb3db5

(lazy-highlight-cleanup) <command>: Rename from `isearch-lazy-highlight-cleanup', add alias to old name and declare obsolete. Add release numbers to other obsolete vars. (isearch-done, isearch-lazy-highlight-new-loop): Rename `isearch-lazy-highlight-cleanup' to `lazy-highlight-cleanup'. (lazy-highlight-cleanup) <variable>: Doc fix. (isearch-lazy-highlight-update): Rename obsolete `isearch-lazy-highlight-face' to `lazy-highlight-face'.
author Juri Linkov <juri@jurta.org>
date Fri, 18 Mar 2005 07:06:15 +0000
parents d90447516029
children adbf7c56937f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
41429
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1 *.aux
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
2 *.fn
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
3 *.fns
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
4 *.cps
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
5 *.cp
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
6 *.kys
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
7 *.ky
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
8 *.toc
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
9 *.pgs
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
10 *.pg
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
11 *.log
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
12 *.vrs
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
13 *.vr
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
14 *.dvi
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
15 *.ps
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
16 *.tp
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
17 *.tps
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
18 *.tmp
41869
d90447516029 Added *.txt to .cvsignore list.
Robert J. Chassell <bob@rattlesnake.com>
parents: 41429
diff changeset
19 *.txt
41429
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
20 Makefile