| Sat, 11 Jan 2020 17:15:54 +0100 | wenzelm | clarified fresh build; | changeset | files |
| Sat, 11 Jan 2020 16:22:17 +0100 | wenzelm | tuned documentation; | changeset | files |
| Sat, 11 Jan 2020 15:04:43 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 10 Jan 2020 16:37:47 +0100 | wenzelm | clarified script name; | changeset | files |