src/doc/en/developer/tools.rst: add missing blank line

sagemath · Aug 25, 2022 · 14b7780 · 14b7780
1 parent 2be1535
commit 14b7780
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/doc/en/developer/tools.rst b/src/doc/en/developer/tools.rst
@@ -202,6 +202,7 @@ or a few related issues::
  ``settings.json`` file is not ignored by git so be aware to keep it in sync
  with the trac repo. For further details, see the
  `official VS Code documentation <https://code.visualstudio.com/docs/python/linting>`__.
+
 *Configuration:* ``[pycodestyle]`` block in ``SAGE_ROOT/src/tox.ini``
 
 *Documentation:* https://pycodestyle.pycqa.org/en/latest/index.html