]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtksourceview/.depend
reorganization continues ...
[helm.git] / helm / DEVEL / lablgtksourceview / .depend
diff --git a/helm/DEVEL/lablgtksourceview/.depend b/helm/DEVEL/lablgtksourceview/.depend
deleted file mode 100644 (file)
index 0a2ae9c..0000000
+++ /dev/null
@@ -1,11 +0,0 @@
-gSourceView.cmo: ogtkSourceViewProps.cmo gtk_sourceview.cmo gtkSourceView.cmo \
-    gSourceView.cmi 
-gSourceView.cmx: ogtkSourceViewProps.cmx gtk_sourceview.cmx gtkSourceView.cmx \
-    gSourceView.cmi 
-gtkSourceView.cmo: gtk_sourceview.cmo gtkSourceViewProps.cmo 
-gtkSourceView.cmx: gtk_sourceview.cmx gtkSourceViewProps.cmx 
-gtkSourceViewProps.cmo: gtk_sourceview.cmo 
-gtkSourceViewProps.cmx: gtk_sourceview.cmx 
-ogtkSourceViewProps.cmo: gtkSourceViewProps.cmo 
-ogtkSourceViewProps.cmx: gtkSourceViewProps.cmx 
-gSourceView.cmi: gtk_sourceview.cmo