| Thu, 23 Aug 2018 07:02:19 +0200 | nipkow | tuned | file | diff | annotate |
| Wed, 18 Jul 2018 16:44:01 +0200 | wenzelm | prefer HTTPS; | file | diff | annotate |
| Mon, 09 Jan 2017 19:34:02 +0100 | nipkow | fix problems because of "surj" input abbreviation; tuned | file | diff | annotate |