Synchronize userguide with most recent translations

2020-05-30 10:43:56 +01:00
parent 0d7d1fccff
commit c12a0f8ebb
1266 changed files with 12261 additions and 9146 deletions
@@ -25,7 +25,7 @@
 <body>

 <div id="banner">
-<div><span>User Guide</span></div>
+<div><span>User guide</span></div>
 </div>

 <div class="nav">