| Wed, 28 Mar 2018 13:46:21 +0200 | wenzelm | clarified handling of stdout vs. stderr: the cronjob should normally be silent; | changeset | files |
| Wed, 28 Mar 2018 11:54:18 +0200 | wenzelm | proper self_update of components -- do assume shared file-system; | changeset | files |
| Tue, 27 Mar 2018 13:59:01 +0200 | wenzelm | updated to scala-2.12.5; | changeset | files |