Mercurial > dive4elements > river
diff artifacts/doc/conf/themes.xml @ 9673:e04851177bb7 3.2.x
Remove default user name for pushing tags
author | Tom Gottfried <tom@intevation.de> |
---|---|
date | Fri, 29 May 2020 18:36:09 +0200 |
parents | 080ee1c73bab |
children | 7bbfb24e6eec |