| Tue, 29 Aug 2023 12:53:28 +0200 | wenzelm | misc tuning: support "scalac -source 3.3"; | file | diff | annotate |
| Sat, 09 Apr 2022 15:40:29 +0200 | wenzelm | more robust: avoid partiality; | file | diff | annotate |
| Sat, 09 Apr 2022 14:29:34 +0200 | wenzelm | clarified signature; | file | diff | annotate |