aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2019-05-22 16:44:09 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2019-05-22 16:44:09 +0200
commit250a40353037bb3f7c89d3bceb8d34429b4ecc6a (patch)
treec354499c4ee384a865a40de504110abc662431be
parent4f27af6b60d8929e8e95aa25b0917e7ce0dcdf17 (diff)
Minor tweak to git instructions
-rw-r--r--README-GIT1
1 files changed, 1 insertions, 0 deletions
diff --git a/README-GIT b/README-GIT
index f4537d3..89ef247 100644
--- a/README-GIT
+++ b/README-GIT
@@ -13,6 +13,7 @@ A few additional notes:
./modup
./commit
+ ./push
cd build2-toolchain
git submodule update --remote
git submodule foreach git submodule update --init --recursive