genode/repos/gems/run/sculpt
Alexander Boettcher 6112c0df6d mesa: rename gpu-* pkg to mesa_gpu-*
for easier linking by user with the Mesa client ROM requests, which will be
mesa_gpu-drv.lib.so. Adjust mesa-gears demo accordingly.

Issue #4263
2021-10-13 14:46:51 +02:00
..
launcher sculpt: update default launchers 2019-02-28 11:34:07 +01:00
clipboard.config sculpt: integrate global clipboard 2019-07-09 08:58:39 +02:00
drop_shadow.png sculpt: manage leitzentrale window layout 2018-06-12 12:11:49 +02:00
empty_runtime.config Rename "Nitpicker" service name to "Gui" 2020-06-22 09:39:39 +02:00
fb_drv.config Sculpt system scenario 2018-02-16 08:42:29 +01:00
fonts.config sculpt: integrate global clipboard 2019-07-09 08:58:39 +02:00
index mesa: rename gpu-* pkg to mesa_gpu-* 2021-10-13 14:46:51 +02:00
leitzentrale.config Revert "sculpt: tweak window motions in leitzentrale" 2021-04-20 12:10:57 +02:00
machine.vbox pkg/vbox5-nova-sculpt: clipboard support 2019-07-09 08:58:39 +02:00
machine.vdi.gz Sculpt system scenario 2018-02-16 08:42:29 +01:00
nitpicker.config sculpt: remove deferred GUI initialization 2020-08-25 11:50:10 +02:00
usb.config driver_manager/sculpt: hook for manual USB policy 2018-08-02 14:36:36 +02:00
vimrc sculpt/vimrc: 'set nowritebackup' 2020-09-09 16:57:34 +02:00
wifi.config sculpt_manager: handle WIFI connecting state 2018-09-20 09:06:18 +02:00