diff checkstyle.xml @ 9786:b5af33e5ce1e 3.2.x

Change header background and update logo
author Tom Gottfried <tom@intevation.de>
date Fri, 28 Apr 2023 12:37:06 +0200
parents 0a5239a1e46e
children 47eee0be5792
line wrap: on
line diff

http://dive4elements.wald.intevation.org