Stuff moved from old Matita.

[helm.git] / matita / components / cic_exportation / .depend

diff --git a/matita/components/cic_exportation/.depend b/matita/components/cic_exportation/.depend
new file mode 100644 (file)
index 0000000..91be8d8
--- /dev/null
+++ b/matita/components/cic_exportation/.depend
@@ -0,0 +1,3 @@
+cicExportation.cmi: 
+cicExportation.cmo: cicExportation.cmi 
+cicExportation.cmx: cicExportation.cmi