diff options
| -rw-r--r-- | doc/develop/index.rst | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/doc/develop/index.rst b/doc/develop/index.rst index 0ae440845f..d1488d764b 100644 --- a/doc/develop/index.rst +++ b/doc/develop/index.rst @@ -42,7 +42,14 @@ Testing :maxdepth: 1 testing - coccinelle py_testing tests_writing tests_sandbox + +Refactoring +----------- + +.. toctree:: + :maxdepth: 1 + + coccinelle |