| Sat, 08 Dec 2018 23:53:43 +0100 | wenzelm | discontinued somewhat point dmg: plain .tar.gz is smaller and more convenient to install; | changeset | files |
| Sat, 08 Dec 2018 23:50:56 +0100 | wenzelm | clarified defaults for Windows/Cygwin hybrid; | changeset | files |
| Sat, 08 Dec 2018 22:56:45 +0100 | wenzelm | proper path before tar -C context switch; | changeset | files |