* Rename collection folders
Signed-off-by: Thomas Dietrich <Thomas.Dietrich@tu-ilmenau.de>
* Change all occurences of addons and repos
Signed-off-by: Thomas Dietrich <Thomas.Dietrich@tu-ilmenau.de>
* Add further corrections
Signed-off-by: Thomas Dietrich <Thomas.Dietrich@tu-ilmenau.de>
* Remove temporary directories after processing
Signed-off-by: Thomas Dietrich <Thomas.Dietrich@tu-ilmenau.de>
* Reduce addons menus, show current uncond.
Signed-off-by: Thomas Dietrich <Thomas.Dietrich@tu-ilmenau.de>
* Fix typo
Signed-off-by: Thomas Dietrich <Thomas.Dietrich@tu-ilmenau.de>
* Remove redundant addons from permalinks
Signed-off-by: Thomas Dietrich <Thomas.Dietrich@tu-ilmenau.de>
* Sort UI menu entries correctly
Signed-off-by: Thomas Dietrich <Thomas.Dietrich@tu-ilmenau.de>
* Split maven command
Signed-off-by: Thomas Dietrich <Thomas.Dietrich@tu-ilmenau.de>
Thomas Dietrich