diff options
Diffstat (limited to 'doc/source/dev/index.rst')
| -rw-r--r-- | doc/source/dev/index.rst | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/source/dev/index.rst b/doc/source/dev/index.rst index bd3595741..22ab55b31 100644 --- a/doc/source/dev/index.rst +++ b/doc/source/dev/index.rst @@ -258,7 +258,6 @@ The rest of the story Git Basics <gitwash/index> development_environment - development_gitpod howto_build_docs development_workflow development_advanced_debugging |