Mercurial > dive4elements > river
diff 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 |