diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2016-03-14 16:34:19 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-03-14 16:34:19 +0200 |
| commit | d08f27ecda03b5b05f34e9ae91f62e9aebb5e569 (patch) | |
| tree | 1366bedea506eb7db044a1cf668ce6a88e3687c1 | |
| parent | 82ac6e379c6289985f012c2cafd0180d6f4aa586 (diff) | |
Kill README-GIT; most likely nobody will read it anyway
| -rw-r--r-- | README-GIT | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/README-GIT b/README-GIT deleted file mode 100644 index c6808b7..0000000 --- a/README-GIT +++ /dev/null @@ -1,19 +0,0 @@ -This repository uses git submodules, so watch out! Before working with this -repository, make sure you do: - - git config --global fetch.recurseSubmodules on-demand - git config --global status.submoduleSummary true - git config --global diff.submodule log - -To clone this repository, use --recursive: - - git clone --recursive ... - -To pull, you *must* run two commands: - - git pull - git submodule update --init --recursive - -To update submodules to the latest master (remember to commit afterwards): - - git submodule update --remote [submodule] |