Thomas Dietrich 826ef4abb4 Distinguish collections, improve update process (#514) ... * 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>		2017-09-22 21:05:09 +02:00
..
addon.html	Distinguish collections, improve update process (#514)	2017-09-22 21:05:09 +02:00
developersguide.html	Replace tabs by spaces, apply auto indent	2016-12-03 14:34:20 +01:00
documentation.html	Replace tabs by spaces, apply auto indent	2016-12-03 14:34:20 +01:00
gettingstarted.html	Replace tabs by spaces, apply auto indent	2016-12-03 14:34:20 +01:00
intro.html	Replace tabs by spaces, apply auto indent	2016-12-03 14:34:20 +01:00
raw.html	Replace tabs by spaces, apply auto indent	2016-12-03 14:34:20 +01:00
redirected.html	Add redirection example	2016-12-03 14:34:20 +01:00
tutorial-advanced.html	Replace tabs by spaces, apply auto indent	2016-12-03 14:34:20 +01:00
tutorial-beginner.html	Replace tabs by spaces, apply auto indent	2016-12-03 14:34:20 +01:00