X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fma2etc.sh;h=b135f45b4d71da5ff2835455f10fb210a2aa17a4;hp=e546af7763582629fa1f849439ffa711d60239b0;hb=b1868c5a258a6bf7fc983d63f3c417f00185e7b6;hpb=528f8ea107f689d07d060e1d31ba32bf65b4e6ba

diff --git a/matita/matita/contribs/lambdadelta/ma2etc.sh b/matita/matita/contribs/lambdadelta/ma2etc.sh
index e546af776..b135f45b4 100644
--- a/matita/matita/contribs/lambdadelta/ma2etc.sh
+++ b/matita/matita/contribs/lambdadelta/ma2etc.sh
@@ -1 +1 @@
-for FILE in `find $1 -name "*.ma"`; do svn mv $FILE ${FILE/%.ma/.etc} ; done
+for FILE in `find $1 -name "*.ma"`; do git mv $FILE ${FILE/%.ma/.etc} ; done