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