michael e6ab1e7963 * Some style improvements		2020-08-30 21:29:20 +00:00
..
designdemo	* Undo last patch, too much committed	2019-09-13 09:48:21 +00:00
nativedesign	* Webwidget embryonal version	2019-08-04 21:22:33 +00:00
widgets	* Some style improvements	2020-08-30 21:29:20 +00:00