diff options
Diffstat (limited to 'docs/manual/mod/allmodules.xml.de')
| -rw-r--r-- | docs/manual/mod/allmodules.xml.de | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/manual/mod/allmodules.xml.de b/docs/manual/mod/allmodules.xml.de index f9d12a6ad8..37861bd273 100644 --- a/docs/manual/mod/allmodules.xml.de +++ b/docs/manual/mod/allmodules.xml.de @@ -1,4 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> +<!-- GENERATED FROM XML: DO NOT EDIT --> <modulefilelist> <modulefile>core.xml.de</modulefile> |