genode/repos/gems/recipes/raw/motif_wm
2022-04-28 11:52:06 +02:00
..
content.mk sculpt: split window manager into multiple pkgs 2018-11-27 11:36:35 +01:00
decorator_init.config Rename "Nitpicker" service name to "Gui" 2020-06-22 09:39:39 +02:00
hash depot: update recipe hashes 2022-04-28 11:52:06 +02:00
layouter.config window_layouter: add dynamic screen handling 2020-02-20 12:11:23 +01:00
wm.config gems/decorators: adjust resources for WQHD displays 2022-04-28 08:02:33 +02:00