Norman Feske f36bc80bd7 driver_manager-pc: numlock handling ...

This patch incorporates key remapping rules for the input filter that
depend on the global numlock state.

2017-11-30 11:23:15 +01:00

..

drivers_managed-pc

driver_manager-pc: numlock handling

2017-11-30 11:23:15 +01:00

genode_bg

Depot-archive recipes

2017-05-31 13:15:56 +02:00

themed_wm

depot: update recipe hashes

2017-05-31 16:18:01 +02:00

wm

depot: update recipe hashes

2017-05-31 16:18:01 +02:00