| Thu, 23 Nov 2023 11:40:49 +0100 | wenzelm | clarified signature: avoid deprecated URL constructors; | file | diff | annotate |
| Tue, 29 Aug 2023 12:53:28 +0200 | wenzelm | misc tuning: support "scalac -source 3.3"; | file | diff | annotate |
| Fri, 24 Feb 2023 20:40:50 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 04 Apr 2022 22:06:40 +0200 | wenzelm | tuned for scala3; | file | diff | annotate |