annotate man/.cvsignore @ 66175:db4304733361

(gud-menu-map): Correct condition for fringe.
author Nick Roberts <nickrob@snap.net.nz>
date Tue, 18 Oct 2005 03:44:25 +0000
parents adbf7c56937f
children 17f1d9e091ba
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25838
Dave Love <fx@gnu.org>
parents:
diff changeset
1 *.aux
46387
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
2 *.cp
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
3 *.cps
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
4 *.dvi
25839
Dave Love <fx@gnu.org>
parents: 25838
diff changeset
5 *.fn
Dave Love <fx@gnu.org>
parents: 25838
diff changeset
6 *.fns
46387
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
7 *.ky
25839
Dave Love <fx@gnu.org>
parents: 25838
diff changeset
8 *.kys
46387
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
9 *.log
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
10 *.op
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
11 *.ops
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
12 *.pg
25839
Dave Love <fx@gnu.org>
parents: 25838
diff changeset
13 *.pgs
25850
c92d44f15605 Add *.tp *.tps *.ps.
Dave Love <fx@gnu.org>
parents: 25839
diff changeset
14 *.ps
46387
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
15 *.tmp
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
16 *.toc
25850
c92d44f15605 Add *.tp *.tps *.ps.
Dave Love <fx@gnu.org>
parents: 25839
diff changeset
17 *.tp
c92d44f15605 Add *.tp *.tps *.ps.
Dave Love <fx@gnu.org>
parents: 25839
diff changeset
18 *.tps
46387
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
19 *.vr
e54dcde23afd Ignore *.op and *.ops, too.
Kai Großjohann <kgrossjo@eu.uu.net>
parents: 31816
diff changeset
20 *.vrs
31816
070cf4b710c5 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 29348
diff changeset
21 Makefile
65667
adbf7c56937f Add makefile (for MS-Windows).
Eli Zaretskii <eliz@gnu.org>
parents: 46387
diff changeset
22 makefile