| Fri, 14 Oct 2016 19:49:38 +0200 | wenzelm | proper path; | changeset | files |
| Fri, 14 Oct 2016 19:42:54 +0200 | wenzelm | tuned messages; | changeset | files |
| Fri, 14 Oct 2016 19:34:30 +0200 | wenzelm | clarified platform families vs. bundles; | changeset | files |
| Fri, 14 Oct 2016 19:32:25 +0200 | wenzelm | more general operations; | changeset | files |
| Fri, 14 Oct 2016 19:08:13 +0200 | wenzelm | website index for existing bundles; | changeset | files |
| Fri, 14 Oct 2016 17:35:10 +0200 | wenzelm | tuned messages; | changeset | files |
| Fri, 14 Oct 2016 17:31:08 +0200 | wenzelm | added option -p for platform families; | changeset | files |