aboutsummaryrefslogtreecommitdiffhomepage
path: root/distrib/.cvsignore
blob: 33bde26671cca9e806355199ed492d39865af6bd (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
rpmbuildroot
i386
sun4
alpha
apx
alpha
ppc
redhat
rpmrc
rpmmacros
config.distrib
coq-*
contrib-*
patch-*
deb_build
coq.spec
coq_*
sun4u