diff options
Diffstat (limited to 'docs/development.md')
-rw-r--r-- | docs/development.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/development.md b/docs/development.md index 773cf6b8f..c9268d4d4 100644 --- a/docs/development.md +++ b/docs/development.md @@ -1,6 +1,8 @@ Development =========== +[TOC] + # Working with the team Generally it is sensible to check with the other developers if you are |