| Sat, 09 Apr 2022 11:56:48 +0200 | wenzelm | proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1; | changeset | files |
| Sat, 09 Apr 2022 11:45:39 +0200 | wenzelm | tuned --- accomodate scala3; | changeset | files |
| Sat, 09 Apr 2022 11:41:37 +0200 | wenzelm | proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1; | changeset | files |