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

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