diff --git a/doc/manual_de.html b/doc/manual_de.html index 4f8cf7f..36e1a57 100755 --- a/doc/manual_de.html +++ b/doc/manual_de.html @@ -1,7 +1,7 @@