| Tue, 19 Sep 2017 15:19:48 +0200 | tip | changeset | changelog | files |
| Wed, 24 Jul 2013 10:21:35 +0200 | r1.2.4 | changeset | changelog | files |
| Wed, 09 Nov 2011 11:41:52 +0100 | r1.2.3 | changeset | changelog | files |
| Mon, 08 Aug 2011 13:13:03 +0200 | r1.2.2 | changeset | changelog | files |
| Tue, 21 Sep 2010 06:02:23 +0200 | r1.2.1 | changeset | changelog | files |
| Thu, 18 Mar 2010 14:50:32 +0100 | r1.2 | changeset | changelog | files |