.cvsignore « distrib - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/distrib/.cvsignore

blob: da130466483be99036ffca70a03a995050cb35d7 (plain)

rpmbuildroot
i386
sun4
alpha
apx
alpha
ppc
redhat
rpmrc
rpmmacros
config.distrib
coq-*
contrib-*
patch-*