| Fri, 14 Jul 2017 10:00:20 +0200 | Claus Gittinger | #OTHER by cg | file | diff | annotate |
| Wed, 15 Feb 2017 22:05:18 +0100 | Claus Gittinger | #DOCUMENTATION by cg | file | diff | annotate |
| Tue, 06 Oct 2015 18:26:03 +0200 | Claus Gittinger | #UI_ENHANCEMENT | file | diff | annotate |
| Mon, 05 Oct 2015 10:52:35 +0200 | Claus Gittinger | #UI_ENHANCEMENT | file | diff | annotate |
| Thu, 01 Oct 2015 08:56:11 +0200 | Claus Gittinger | initial checkin | file | diff | annotate |