annotate lispintro/.cvsignore @ 64863:2838cf662e70

(compilation-mode-font-lock-keywords): Remove `-text' from face variable names. (compilation-error-file-name, compilation-warning-file-name) (compilation-info-file-name): Delete faces. (compilation-line-number, compilation-column-number): Remove face underlining. (compilation-message-face): Set to `underline' value by default. (compilation-error-face, compilation-warning-face) (compilation-info-face): Remove `-file-name' from face names. (compilation-error-text-face, compilation-warning-text-face) (compilation-info-text-face): Delete face variables. (compilation-text-face): Delete function.
author Juri Linkov <juri@jurta.org>
date Tue, 09 Aug 2005 21:34:40 +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