forked from Isabelle_DOF/Isabelle_DOF
Fixed typo.
This commit is contained in:
parent
0aec98b95a
commit
943af164f4
|
@ -70,7 +70,7 @@ clone_repo()
|
|||
echo " * Switching to tag $TAG"
|
||||
(cd $ISADOF_WORK_DIR && git checkout $TAG)
|
||||
else
|
||||
echo " * Not tag specified, using master branch"
|
||||
echo " * No tag specified, using master branch"
|
||||
fi
|
||||
(cd $ISADOF_WORK_DIR && git show -s --format="COMMIT=%H%nDATE=%cd" --date=short | sed -e 's|-|/|g') >> $ISADOF_WORK_DIR/etc/settings
|
||||
|
||||
|
|
Loading…
Reference in New Issue