genode/repos/ports/recipes/raw
2020-06-22 09:39:39 +02:00
..
arora Rename "Nitpicker" service name to "Gui" 2020-06-22 09:39:39 +02:00
system_shell Rename "Nitpicker" service name to "Gui" 2020-06-22 09:39:39 +02:00
vbox5-nova-sculpt Rename "Nitpicker" service name to "Gui" 2020-06-22 09:39:39 +02:00