mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-29 18:18:54 +00:00
ffc25fde53
This patch partially converts the Sculpt manager to the dialog API. At this stage, both the old utilities and the new dialog API are still used simultaneously. Issue #5008 |
||
---|---|---|
.. | ||
default |