Florian Festi d9efb53fc5 Remove redundant Demobox from web interface		2016-06-30 11:52:17 +02:00
..
boxes	Clarify error message for unknown generator names	2016-06-22 23:13:50 +02:00
boxesserver	Remove redundant Demobox from web interface	2016-06-30 11:52:17 +02:00