]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/.depend
reorganization continues ...
[helm.git] / helm / DEVEL / lablgtkmathview / .depend
diff --git a/helm/DEVEL/lablgtkmathview/.depend b/helm/DEVEL/lablgtkmathview/.depend
deleted file mode 100644 (file)
index 23cd756..0000000
+++ /dev/null
@@ -1,12 +0,0 @@
-gMathViewAux.cmo: gMathView.cmi gMathViewAux.cmi 
-gMathViewAux.cmx: gMathView.cmx gMathViewAux.cmi 
-gMathView.cmo: gtkMathView.cmo gtk_mathview.cmo gMathView.cmi 
-gMathView.cmx: gtkMathView.cmx gtk_mathview.cmx gMathView.cmi 
-gtkMathView.cmo: gtkMathViewProps.cmo gtk_mathview.cmo 
-gtkMathView.cmx: gtkMathViewProps.cmx gtk_mathview.cmx 
-gtkMathViewProps.cmo: gtk_mathview.cmo 
-gtkMathViewProps.cmx: gtk_mathview.cmx 
-ogtkMathViewProps.cmo: gtkMathViewProps.cmo 
-ogtkMathViewProps.cmx: gtkMathViewProps.cmx 
-gMathViewAux.cmi: gMathView.cmi gtk_mathview.cmo 
-gMathView.cmi: gtk_mathview.cmo