| Wed, 12 Feb 2025 13:32:04 +0100 | wenzelm | tuned: fewer warnings with scalac -Wunused:all; | file | diff | annotate |
| Mon, 20 Nov 2023 19:52:46 +0100 | wenzelm | update to jdk-21.0.1; | file | diff | annotate |
| Sun, 08 Oct 2023 15:02:01 +0200 | wenzelm | proper Scala version, e.g. for IntelliJ IDEA; | file | diff | annotate |