Merge branch 'main' into bug6105

This commit is contained in:
Axel Uhl
2025-06-12 01:40:20 +02:00
84 changed files with 404 additions and 132 deletions
@@ -1,4 +1,5 @@
//gwtVersion_/opt/gwt-2.11.0=2.11.0
//gwtVersion_/opt/gwt-2.11.1=2.11.1
//gwtVersion_/usr/local/gwt-2.11.0=2.11.0
eclipse.preferences.version=1
entryPointModules=