Merge branch 'master' into staging

This commit is contained in:
Vladimír Čunát
2017-07-05 09:53:53 +02:00
96 changed files with 1859 additions and 518 deletions

View File

@@ -47,6 +47,7 @@ Options:
--leave-dotGit Keep the .git directories.
--fetch-submodules Fetch submodules.
--builder Clone as fetchgit does, but url, rev, and out option are mandatory.
--quiet Only print the final json summary.
"
exit 1
}