doc/dev/documenting.txt
changeset 12792 e2cdb1be6bd9
parent 10495 5bd914ebf3ae
--- a/doc/dev/documenting.txt	Fri Dec 06 13:20:05 2019 +0100
+++ b/doc/dev/documenting.txt	Thu Apr 04 17:11:14 2019 +0200
@@ -49,7 +49,7 @@
 Boxes
 =====
 
-- warning box: 
+- warning box:
     .. warning::
 
        Warning content