genode/repos/gems/src/app/menu_view/styles/frame
2015-11-04 14:09:29 +01:00
..
default menu view: change style to be less obtrusive 2015-11-04 14:09:29 +01:00