| Sun, 02 Dec 2018 17:53:47 +0100 | wenzelm | distribution_classpath as in makedist_bundle; | changeset | files |
| Sun, 02 Dec 2018 16:21:35 +0100 | wenzelm | tuned spelling; | changeset | files |
| Sun, 02 Dec 2018 15:56:14 +0100 | wenzelm | clarified component settings; | changeset | files |