diff options
Diffstat (limited to 'docs/manual/developer/documenting.html')
| -rw-r--r-- | docs/manual/developer/documenting.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/manual/developer/documenting.html b/docs/manual/developer/documenting.html index 0731e2d359..db57cef3ce 100644 --- a/docs/manual/developer/documenting.html +++ b/docs/manual/developer/documenting.html @@ -1,3 +1,5 @@ +# GENERATED FROM XML -- DO NOT EDIT + URI: documenting.html.en Content-Language: en Content-type: text/html; charset=ISO-8859-1 |