X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FtopLevel%2F.depend;fp=helm%2FgTopLevel%2FtopLevel%2F.depend;h=0000000000000000000000000000000000000000;hb=26687f6c7acd3c9ec642625288a8a2185c5b81c5;hp=0bd921fe1403c57e5ebc59ec93831cd3a051bd05;hpb=fc3a73230e9c3a8359944ecbc5546f8f63acac25;p=helm.git

diff --git a/helm/gTopLevel/topLevel/.depend b/helm/gTopLevel/topLevel/.depend
deleted file mode 100644
index 0bd921fe1..000000000
--- a/helm/gTopLevel/topLevel/.depend
+++ /dev/null
@@ -1,2 +0,0 @@
-topLevel.cmo: ../mQueryGenerator.cmi 
-topLevel.cmx: ../mQueryGenerator.cmx