Florian Festi d3c76f2b9e Put box generator into groups and adjust the menu web page accordingly		2017-02-13 17:31:58 +01:00
..
boxes	Generate the list of generators automatically	2016-07-31 17:18:17 +02:00
boxesserver	Put box generator into groups and adjust the menu web page accordingly	2017-02-13 17:31:58 +01:00
self.css	Traylayout: Make textarea monospace in web UI	2016-12-11 22:31:27 +01:00