diff options
| author | Tania Allard <taniar.allard@gmail.com> | 2021-05-10 20:20:57 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-10 20:20:57 +0100 |
| commit | 9e37c8eb966e2d1160a55a797ad059de7f1ee8c2 (patch) | |
| tree | 90ee5c7d229f50d2f04632b177853ea30d7b3dc8 | |
| parent | a44e51125e0db90d57c5a2701ebb8e669a67e03d (diff) | |
| download | numpy-9e37c8eb966e2d1160a55a797ad059de7f1ee8c2.tar.gz | |
DOC: Remove extra --
Co-authored-by: Ross Barnowski <rossbar@berkeley.edu>
| -rw-r--r-- | doc/source/dev/development_gitpod.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/source/dev/development_gitpod.rst b/doc/source/dev/development_gitpod.rst index 09c4eabd0..ba80bb266 100644 --- a/doc/source/dev/development_gitpod.rst +++ b/doc/source/dev/development_gitpod.rst @@ -198,7 +198,7 @@ If you want to see the final output with the ``html`` theme you will need to rebuild the docs with ``make html`` and use Live Serve as described in option 1. FAQ's and troubleshooting ----------------------------- +------------------------- #. How long is my Gitpod workspace kept for? Your stopped workspace will be kept for 14 days and deleted afterwards if |