Fri, 09 Aug 2013 19:01:05 +0200 | Alpar Juttner | Merge NEWS file update to branch 1.3 | changeset | files |
Fri, 09 Aug 2013 18:58:46 +0200 | Alpar Juttner | Update NEWS file | changeset | files |
Fri, 09 Aug 2013 18:56:00 +0200 | Alpar Juttner | Trim the documentation | changeset | files |