- lambda_delta: programmed renaming to lambdadelta

[helm.git] / matita / matita / contribs / lambda_delta / ma2etc.sh

diff --git a/matita/matita/contribs/lambda_delta/ma2etc.sh b/matita/matita/contribs/lambda_delta/ma2etc.sh
deleted file mode 100644 (file)
index e546af7..0000000
--- a/matita/matita/contribs/lambda_delta/ma2etc.sh
+++ /dev/null
@@ -1 +0,0 @@
-for FILE in `find $1 -name "*.ma"`; do svn mv $FILE ${FILE/%.ma/.etc} ; done