| Tue, 25 Oct 2016 12:23:54 +0200 | wenzelm | updated for release; | changeset | files |
| Tue, 25 Oct 2016 12:14:17 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 25 Oct 2016 11:55:38 +0200 | wenzelm | misc tuning for release; | changeset | files |
| Mon, 24 Oct 2016 22:42:07 +0200 | blanchet | added Nunchaku integration | changeset | files |