]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtksourceview/.cvsignore
reorganization continues ...
[helm.git] / helm / DEVEL / lablgtksourceview / .cvsignore
diff --git a/helm/DEVEL/lablgtksourceview/.cvsignore b/helm/DEVEL/lablgtksourceview/.cvsignore
deleted file mode 100644 (file)
index db7a2f8..0000000
+++ /dev/null
@@ -1,10 +0,0 @@
-*.cmi *.cmo *.cmx *.cma *.cmxa *.annot *.a *.o
-aclocal.m4
-autom4te.cache
-configure
-config.status
-config.log
-Makefile
-META
-gtkSourceViewProps.ml
-ogtkSourceViewProps.ml