diff options
-rw-r--r-- | documentation/dev-manual/common-tasks.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/dev-manual/common-tasks.rst b/documentation/dev-manual/common-tasks.rst index 1acca8e64c..25e6b085e5 100644 --- a/documentation/dev-manual/common-tasks.rst +++ b/documentation/dev-manual/common-tasks.rst | |||
@@ -3476,7 +3476,7 @@ Similar to working within a development shell as described in the | |||
3476 | previous section, you can also spawn and work within an interactive | 3476 | previous section, you can also spawn and work within an interactive |
3477 | Python development shell. When debugging certain commands or even when | 3477 | Python development shell. When debugging certain commands or even when |
3478 | just editing packages, ``devpyshell`` can be a useful tool. When you | 3478 | just editing packages, ``devpyshell`` can be a useful tool. When you |
3479 | invoke ``devpyshell``, all tasks up to and including | 3479 | invoke the ``devpyshell`` task, all tasks up to and including |
3480 | :ref:`ref-tasks-patch` are run for the | 3480 | :ref:`ref-tasks-patch` are run for the |
3481 | specified target. Then a new terminal is opened. Additionally, key | 3481 | specified target. Then a new terminal is opened. Additionally, key |
3482 | Python objects and code are available in the same way they are to | 3482 | Python objects and code are available in the same way they are to |