diff artifacts/doc/conf/themes.xml @ 8871:78cd6572778d

Introduced groups for modules. Modules marked with the same group-id, will be put together in the ui. Also using now the localization info from the server instead of localizing the modules again on the client side.
author gernotbelger
date Wed, 07 Feb 2018 12:02:58 +0100
parents 7bbfb24e6eec
children 7a8c12706834
line wrap: on
line diff

http://dive4elements.wald.intevation.org