Fri, 08 Apr 2022 15:49:33 +0200 | wenzelm | tuned signature -- avoid warnings for scala3; | changeset | files |
Fri, 08 Apr 2022 09:58:49 +0200 | wenzelm | removed unused flag (see 25c6423ec538); | changeset | files |
Thu, 07 Apr 2022 20:15:58 +0200 | wenzelm | clarified versions; | changeset | files |