From 14b77808543428d32a56ce82bf1ac2da38aa83ad Mon Sep 17 00:00:00 2001
From: DavidAyotte <davidayotte94@outlook.com>
Date: Wed, 24 Aug 2022 22:16:32 -0400
Subject: [PATCH] src/doc/en/developer/tools.rst: add missing blank line

---
 src/doc/en/developer/tools.rst | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/doc/en/developer/tools.rst b/src/doc/en/developer/tools.rst
index 1721f26640d..becaad7f829 100644
--- 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