Skip to content
GitLab
Explore
Sign in
Register
device/device-*: remove remaining deviceinfo_dev_keyboard
Code
Review changes
Check out branch
Download
Patches
Plain diff
Administrator
requested to merge
remove-dev-keyboard
into
master
Mar 10, 2020
Overview
2
Commits
1
Pipelines
3
Changes
8
Expand
This property was never actually used anywhere as far as I can tell.
Merge request reports
Loading