Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Thu, 14 Nov 2019 13:55:13 +0100
changeset 71126 18f87bdbc812
parent 71125 beb781551a66
child 71127 0ad53b5f2bb1
tuned message;
src/Pure/Tools/phabricator.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/phabricator.scala	Thu Nov 14 13:48:31 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Thu Nov 14 13:55:13 2019 +0100
@@ -232,7 +232,7 @@
     progress.bash(cwd = root_path.file, echo = true,
       script = """
         set -e
-        echo "Cloning distribution repositories"
+        echo "Cloning distribution repositories:"
         git clone https://github.com/phacility/libphutil.git
         git clone https://github.com/phacility/arcanist.git
         git clone https://github.com/phacility/phabricator.git
isabelle