| Thu, 29 Nov 2018 15:17:51 +0100 | wenzelm | clarified "hidden" terminology; | changeset | files |
| Thu, 29 Nov 2018 15:07:18 +0100 | wenzelm | generate full component; | changeset | files |
| Thu, 29 Nov 2018 14:43:11 +0100 | wenzelm | clarified target_dir; | changeset | files |