| Sat, 15 Oct 2016 19:08:32 +0200 | wenzelm | expand relatively to given environment, notably remote HOME; | changeset | files |
| Sat, 15 Oct 2016 16:35:50 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 15 Oct 2016 16:35:18 +0200 | wenzelm | tuned signature; | changeset | files |