X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fetc2ma.sh;h=b0f7fe2151bf0b6895bb312b3bba54072281cbba;hb=b1868c5a258a6bf7fc983d63f3c417f00185e7b6;hp=c2d6481efe72c9c048661d652a9e5e9a027ca703;hpb=e76eade57c0454a58b0d58e5484efe9af417847e;p=helm.git

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