| Thu, 18 Oct 2018 12:35:32 +0200 | wenzelm | clarified errors; | changeset | files |
| Thu, 18 Oct 2018 12:30:26 +0200 | wenzelm | more robust: explicit version; | changeset | files |
| Wed, 17 Oct 2018 22:41:59 +0200 | wenzelm | more robust: avoid implicit setup (with default resolver); | changeset | files |
| Wed, 17 Oct 2018 22:36:51 +0200 | wenzelm | more portable; | changeset | files |
| Wed, 17 Oct 2018 22:21:01 +0200 | wenzelm | proper path; | changeset | files |
| Wed, 17 Oct 2018 22:10:45 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 17 Oct 2018 22:00:02 +0200 | wenzelm | merged | changeset | files |