genode/repos/gems/recipes/raw/wm
2020-06-22 09:39:41 +02:00
..
content.mk sculpt: split window manager into multiple pkgs 2018-11-27 11:36:35 +01:00
hash depot: update recipe hashes 2020-06-22 09:39:41 +02:00
wm.config Rename "Nitpicker" service name to "Gui" 2020-06-22 09:39:39 +02:00