diff --git a/DOCS/de/documentation.html b/DOCS/de/documentation.html index 41d9dc85a2..7f7492f0c2 100644 --- a/DOCS/de/documentation.html +++ b/DOCS/de/documentation.html @@ -2125,7 +2125,7 @@ Quoting-HOWTO (Englisch).