Mon, 03 Jun 2019 13:28:01 +0200 | wenzelm | tuned signature; | changeset | files |
Mon, 03 Jun 2019 11:27:23 +0200 | wenzelm | redundant: default is false; | changeset | files |
Sat, 01 Jun 2019 21:43:41 +0200 | wenzelm | tuned imports -- accommodate scala-2.13.0-RC3; | changeset | files |