]> matita.cs.unibo.it Git - helm.git/blob - helm/helmpot/.cvsignore
paramodulation now compiles with ocaml 3.09 in opt mode (added -for-pack)
[helm.git] / helm / helmpot / .cvsignore
1 .emacs.desktop
2 config.h
3 config.h.in
4 config.cache
5 config.log
6 config.status
7 configure
8 configure.scan
9 t1lib.log
10 stamp-h
11 stamp-h.in
12 Makefile
13 Makefile.in
14 *.gz
15 aclocal.m4
16 *.spec
17 .deps
18 helmpot