genode/repos/gems/sculpt/leitzentrale
Norman Feske 8943a3e949 Remove '_drv' suffix
Issue #4420
2024-06-20 12:54:30 +02:00
..
default Remove '_drv' suffix 2024-06-20 12:54:30 +02:00
phone sculpt: use one menu_view for all dialogs 2024-04-12 15:08:00 +02:00