| Thu, 12 Jan 2023 18:01:34 +0100 |
Tom Gottfried |
Avoid API that is removed in Java 11
3.2.x
|
| Thu, 12 Jan 2023 13:11:24 +0100 |
Tom Gottfried |
Add named volume for DEM data
3.2.x
|
| Fri, 11 Nov 2022 18:12:26 +0100 |
Tom Gottfried |
No more hacks for getting description in case of official lines
3.2.x
|
| Fri, 11 Nov 2022 17:22:55 +0100 |
Tom Gottfried |
Fixup rev. c088f7a5797d
3.2.x
|
| Thu, 10 Nov 2022 18:16:25 +0100 |
Tom Gottfried |
Reduce code duplication
3.2.x
|
| Thu, 10 Nov 2022 15:42:16 +0100 |
Tom Gottfried |
Give hints for remote debugging artifact server
3.2.x
|
| Thu, 10 Nov 2022 15:39:07 +0100 |
Tom Gottfried |
Do not require identical values when searching for a main value
3.2.x
|
| Wed, 12 Oct 2022 16:54:12 +0200 |
Tom Gottfried |
Hide logout button by default
3.2.x
|
