Thu, 15 Oct 2020 16:13:49 +0200 | wenzelm | discontinued old platforms; | changeset | files |
Thu, 15 Oct 2020 18:17:57 +0200 | Mathias Fleury | remove unsupported max-time option from veriT calls | changeset | files |
Thu, 15 Oct 2020 14:42:05 +0200 | wenzelm | more standard Value.print_time; | changeset | files |