- lambda_delta: programmed renaming to lambdadelta

[helm.git] / matita / matita / contribs / lambda_delta / root

diff --git a/matita/matita/contribs/lambda_delta/root b/matita/matita/contribs/lambda_delta/root
deleted file mode 100644 (file)
index c41bf73..0000000
--- a/matita/matita/contribs/lambda_delta/root
+++ /dev/null
@@ -1 +0,0 @@
-baseuri=cic:/matita/lambda_delta/