Stuff moved from old Matita.

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

diff --git a/matita/components/thread/.depend b/matita/components/thread/.depend
new file mode 100644 (file)
index 0000000..6616a03
--- /dev/null
+++ b/matita/components/thread/.depend
@@ -0,0 +1,6 @@
+threadSafe.cmi: 
+extThread.cmi: 
+threadSafe.cmo: threadSafe.cmi 
+threadSafe.cmx: threadSafe.cmi 
+extThread.cmo: extThread.cmi 
+extThread.cmx: extThread.cmi