comparison gwt-client/src/main/webapp/WEB-INF/web.xml @ 9765:7a51e6321a4e 3.2.x

Avoid API that is removed in Java 11
author Tom Gottfried <tom@intevation.de>
date Thu, 12 Jan 2023 18:01:34 +0100
parents d536a2184ddf
children 75dc4ea60938
comparison
equal deleted inserted replaced
9764:b5d4cb088737 9765:7a51e6321a4e

http://dive4elements.wald.intevation.org