| Thu, 01 Apr 2021 19:14:43 +0200 | wenzelm | clarified README; | file | diff | annotate |
| Sun, 22 Dec 2019 16:19:57 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 22 Dec 2019 16:18:55 +0100 | wenzelm | improved Markdown-like display in Phabricator; | file | diff | annotate |
| Tue, 02 Apr 2019 13:15:52 +0200 | wenzelm | misc tuning for release; | file | diff | annotate |
| Wed, 18 Jul 2018 16:44:01 +0200 | wenzelm | prefer HTTPS; | file | diff | annotate |
| Thu, 15 Mar 2018 11:49:29 +0100 | wenzelm | clarified message; | file | diff | annotate |
| Mon, 18 Jan 2016 14:59:59 +0100 | wenzelm | updated mirrors according to website; | file | diff | annotate |