Fri, 04 Sep 2015 07:28:33 +0100 | Jan Vrany | More standard behaviour of navigation history | file | diff | annotate |
Thu, 04 Apr 2013 19:06:16 +0100 | Jan Vrany | Merged 18d06283743d and ff31bac2fd1b (branch default - CVS HEAD) | file | diff | annotate |
Wed, 30 Jan 2013 11:15:09 +0000 | Jan Vrany | Merged 235b77901045 and 8332590c5a41 (branch default) | file | diff | annotate |
Fri, 07 Sep 2012 18:28:09 +0100 | Jan Vrany | Merged with /trunk | file | diff | annotate |
Sun, 29 Jan 2012 12:53:39 +0000 | Jan Vrany | trunk branched into /branches/jv | file | diff | annotate |
Sun, 02 Sep 2012 13:21:14 +0200 | Claus Gittinger | category | file | diff | annotate |
Fri, 01 Jul 2011 16:23:24 +0200 | Claus Gittinger | initial checkin | file | diff | annotate |