mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-21 12:05:14 +00:00
3ec96ab080
The sculpt manager wrongly paid for the nitpicker session of the fader out of its own pocket. This patch reduces the quota transfer to the amount provided the fader. |
||
---|---|---|
.. | ||
empty_runtime.config | ||
fb_drv.config | ||
fonts.config | ||
leitzentrale.config | ||
machine.vbox | ||
machine.vdi.gz | ||
nitpicker.config | ||
vimrc | ||
wlan.config |