diff --git a/doc/manual_de.html b/doc/manual_de.html index a48edd0..99d67ea 100755 --- a/doc/manual_de.html +++ b/doc/manual_de.html @@ -1,10 +1,10 @@