|
drm
|
backend/drm: remove unnecessary casts
|
2018-08-02 23:33:59 +01:00 |
|
headless
|
rename wlr_tablet_tool to wlr_tablet
|
2018-07-14 09:49:58 +02:00 |
|
libinput
|
Remove last remnant of tool_tool in libinput
|
2018-07-14 09:49:58 +02:00 |
|
multi
|
util: add wlr_ prefix to log symbols
|
2018-07-09 22:49:54 +01:00 |
|
wayland
|
util: add wlr_ prefix to log symbols
|
2018-07-09 22:49:54 +01:00 |