diff options
Diffstat (limited to 'Documentation/devel/devel.rst')
-rw-r--r-- | Documentation/devel/devel.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/devel/devel.rst b/Documentation/devel/devel.rst index f703c3bf27..39070074ca 100644 --- a/Documentation/devel/devel.rst +++ b/Documentation/devel/devel.rst @@ -10,6 +10,7 @@ Contents: porting background-execution + project-ideas * :ref:`search` * :ref:`genindex` |