]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/whelp/.cvsignore
absolute path and factorization for matita.basedir
[helm.git] / helm / papers / whelp / .cvsignore
1 main.aux
2 main.dvi
3 main.log
4 main.ps
5 main.ps.gz
6 main.pdf
7 main.out
8 moogle.aux
9 moogle.dvi
10 moogle.log
11 moogle.ps
12 moogle.ps.gz
13 moogle.pdf
14 moogle.out