index: discosrv & relaysrv were renamed

2016-07-05 15:00:15 +02:00
parent 22fea7df4e
commit 57aa23d29c
1 changed files with 2 additions and 2 deletions
@@ -72,8 +72,8 @@ can use the headings in the left sidebar to navigate the site.
   users/ignoring
   users/versioning
-   users/discosrv
+   users/stdiscosrv
-   users/relaysrv
+   users/strelaysrv
   users/custom-upgrades
   users/*