summaryrefslogtreecommitdiff
path: root/docs/developers.rst
diff options
context:
space:
mode:
Diffstat (limited to 'docs/developers.rst')
-rw-r--r--docs/developers.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/developers.rst b/docs/developers.rst
index 56d6761b..7b44d1b2 100644
--- a/docs/developers.rst
+++ b/docs/developers.rst
@@ -48,7 +48,7 @@ Writing documentation
We use sphinx for generating HTML docs, see :ref:`docs`
Continuous Integration
----------------------
+----------------------
We used Drone for CI, see: