update in ground_2 and basic_2

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

diff --git a/matita/matita/contribs/lambdadelta/ma2etc.sh b/matita/matita/contribs/lambdadelta/ma2etc.sh
index e546af7763582629fa1f849439ffa711d60239b0..b135f45b4d71da5ff2835455f10fb210a2aa17a4 100644 (file)
--- 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