Sat, 30 Sep 2017 20:06:26 +0200 | wenzelm | more and updated documentation; | changeset | files |
Sat, 30 Sep 2017 19:49:13 +0200 | wenzelm | discontinued rudiments of BSD support; | changeset | files |
Sat, 30 Sep 2017 18:53:38 +0200 | wenzelm | tuned; | changeset | files |