]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/helmpot/.cvsignore
+++ /dev/null
-.emacs.desktop
-config.h
-config.h.in
-config.cache
-config.log
-config.status
-configure
-configure.scan
-t1lib.log
-stamp-h
-stamp-h.in
-Makefile
-Makefile.in
-*.gz
-aclocal.m4
-*.spec
-.deps
-helmpot