Sun, 22 Dec 2024 14:13:21 +0100 | wenzelm | tuned: fewer warnings in IntelliJ IDEA; | file | diff | annotate |
Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
Thu, 04 Mar 2021 21:04:27 +0100 | wenzelm | clarified signature --- fewer warnings; | file | diff | annotate |
Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
Sat, 17 Mar 2018 16:32:50 +0100 | wenzelm | support for repeated events; | file | diff | annotate |
Sun, 05 Nov 2017 14:35:43 +0100 | wenzelm | updated to scala-2.12.4; | file | diff | annotate |