| Sun, 02 Dec 2018 21:59:03 +0100 | wenzelm | manage components similar to makedist_bundle (still inactive); | changeset | files |
| 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 |
| Sun, 02 Dec 2018 14:12:08 +0100 | wenzelm | unused; | changeset | files |
| Sun, 02 Dec 2018 14:11:34 +0100 | wenzelm | obsolete (see 3ee6947bfb34); | changeset | files |
| Sun, 02 Dec 2018 13:29:40 +0100 | wenzelm | clarified signature: allow to add_files/get_files by other tools; | changeset | files |