| Sun, 23 Jul 2017 00:00:00 +0200 | Madarasi Peter | Meet Referee's requests | changeset | files |
| Wed, 30 Nov 2016 23:26:43 +0100 | Alpar Juttner | Merge | changeset | files |
| Wed, 30 Nov 2016 23:03:41 +0100 | Madarasi Peter | fine tune | changeset | files |
| Wed, 30 Nov 2016 23:20:34 +0100 | Alpar Juttner | Some polishing | changeset | files |