Added documentation for Subversion integration

This commit is contained in:
2018-04-18 13:51:40 +02:00
parent bc47cf3f15
commit 65aba61465
2 changed files with 24 additions and 0 deletions

View File

@@ -28,6 +28,7 @@ pages:
- User Manual:
- 'user_manual/introduction.md'
- 'user_manual/installation.md'
- 'user_manual/subversion.md'
- Developer Docs:
- 'developer_docs/roadmap.md'