diff options
| author | Timothee Cour <timothee.cour2@gmail.com> | 2020-01-17 07:56:21 -0800 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2020-01-17 16:56:21 +0100 |
| commit | 6c2214b7def63b275837b3acc5a635994022f6ac (patch) | |
| tree | 80144db91f4ab4e128293d69fe03d0f1b6f8c665 | |
| parent | 451c47634cb5bd5a19b90b3d06760eb9c7f0286b (diff) | |
| download | Nim-6c2214b7def63b275837b3acc5a635994022f6ac.tar.gz | |
followup on #10435 : should be diff, not show (#13162)
| -rw-r--r-- | doc/contributing.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/contributing.rst b/doc/contributing.rst index 9778df843..d43cd6196 100644 --- a/doc/contributing.rst +++ b/doc/contributing.rst @@ -428,7 +428,7 @@ Code reviews .. code-block:: sh git fetch origin pull/10431/head && git checkout FETCH_HEAD - git show --color-moved-ws=allow-indentation-change --color-moved=blocks HEAD^ + git diff --color-moved-ws=allow-indentation-change --color-moved=blocks HEAD^ 3. In addition, you can view github-like diffs locally to identify what was changed within a code block using `diff-highlight` or `diff-so-fancy`, e.g.: |