diff options
| author | Ramiro Morales <ramiro@users.noreply.github.com> | 2018-01-20 14:38:48 -0300 |
|---|---|---|
| committer | Tim Graham <timograham@gmail.com> | 2018-01-20 12:38:48 -0500 |
| commit | 37c17846ad6b02c6dca72e8087a279cca04a0c27 (patch) | |
| tree | 03c6dc058936e14daee338dca6413915dcad8f93 /docs/internals/contributing/committing-code.txt | |
| parent | a22ef3bb379a8783d0a2c3d7e1de531dce220a75 (diff) | |
Fixed #28343 -- Add an OS chooser for docs command line examples.
Diffstat (limited to 'docs/internals/contributing/committing-code.txt')
| -rw-r--r-- | docs/internals/contributing/committing-code.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/internals/contributing/committing-code.txt b/docs/internals/contributing/committing-code.txt index a56bf48281..84eff3fc11 100644 --- a/docs/internals/contributing/committing-code.txt +++ b/docs/internals/contributing/committing-code.txt @@ -39,7 +39,7 @@ At this point, you can work on the code. Use ``git rebase -i`` and ``git commit --amend`` to make sure the commits have the expected level of quality. Once you're ready: -.. code-block:: console +.. console:: $ # Pull in the latest changes from master. $ git checkout master |