update in ground_2 and basic_2

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

diff --git a/matita/matita/contribs/lambdadelta/etc2ma.sh b/matita/matita/contribs/lambdadelta/etc2ma.sh
index c2d6481efe72c9c048661d652a9e5e9a027ca703..b0f7fe2151bf0b6895bb312b3bba54072281cbba 100644 (file)
--- 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