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