]> matita.cs.unibo.it Git - helm.git/commitdiff
.depend must be in the repository
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 27 Nov 2001 13:26:56 +0000 (13:26 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 27 Nov 2001 13:26:56 +0000 (13:26 +0000)
helm/metadata/create2/mk_forward/.cvsignore
helm/metadata/create2/mk_forward/.depend [new file with mode: 0644]
helm/metadata/create2/touch/.cvsignore
helm/metadata/create2/touch/.depend [new file with mode: 0644]

index 4f907d6556957c710bb0be9489ecdcbe55b35c3c..9aee29b3636518f4abc32e43209b6bd7b2309d6e 100644 (file)
@@ -1 +1 @@
-*.cmi *.cmo *.cmx .depend mk_forward mk_forward.opt configuration.ml
+*.cmi *.cmo *.cmx mk_forward mk_forward.opt
diff --git a/helm/metadata/create2/mk_forward/.depend b/helm/metadata/create2/mk_forward/.depend
new file mode 100644 (file)
index 0000000..e69de29
index cf77f4b1d5fc2db7d57d7a614e727c3308760194..10bc8bd9128ecbf5881cafab220e794328b71745 100644 (file)
@@ -1 +1 @@
-*.cmi *.cmo *.cmx .depend touch touch.opt configuration.ml
+*.cmi *.cmo *.cmx touch touch.opt
diff --git a/helm/metadata/create2/touch/.depend b/helm/metadata/create2/touch/.depend
new file mode 100644 (file)
index 0000000..e69de29