| Thu, 22 Apr 2021 23:03:58 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 22 Apr 2021 22:55:41 +0200 | wenzelm | rebuild executable for x86_64-darwin; | changeset | files |
| Thu, 22 Apr 2021 22:07:05 +0200 | wenzelm | clarified command-line; | changeset | files |
| Thu, 22 Apr 2021 22:04:54 +0200 | wenzelm | update Linux base-line; | changeset | files |