Fri, 07 Sep 2018 19:27:28 +0200 | wenzelm | clarified error progress and error_rc; | changeset | files |
Fri, 07 Sep 2018 19:18:41 +0200 | wenzelm | tuned signature; | changeset | files |
Fri, 07 Sep 2018 19:11:34 +0200 | wenzelm | clarified rc; | changeset | files |