| Mon, 16 Sep 2019 21:30:30 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 16 Sep 2019 20:06:25 +0200 | wenzelm | clarified signature -- removed pointless operations; | changeset | files |
| Mon, 16 Sep 2019 19:48:09 +0200 | wenzelm | clarified signature -- removed unused content; | changeset | files |