]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/Make
refactoring ...
[helm.git] / helm / software / lambda-delta / Make
diff --git a/helm/software/lambda-delta/Make b/helm/software/lambda-delta/Make
deleted file mode 100644 (file)
index f5f4524..0000000
+++ /dev/null
@@ -1,11 +0,0 @@
-.depend.opt
-Make* 
-README 
-examples/grundlagen/*.aut 
-icons/*.ico
-icons/*.png
-src/*.ml
-src/Make*
-src/*/*
-xml/*.dtd 
-xml/*.xsl