diff options
| author | emersion <contact@emersion.fr> | 2018-05-30 13:51:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-30 13:51:34 +0100 |
| commit | 41e53d14997de21fbad80d420acb358bec4341e8 (patch) | |
| tree | 9cf7cf115f032b0e45438669c180c4c07c7fb5ed /render | |
| parent | 5d8e38702175fcc7cb991effeadca1f5a9308e6d (diff) | |
| parent | f580112dcabe0de4cf3d115a4e1cb74b87efc75c (diff) | |
Merge pull request #1019 from emersion/virtual-keyboard-destroy
virtual-keyboard: fix wlr_virtual_keyboard_manager_v1_destroy
Diffstat (limited to 'render')
0 files changed, 0 insertions, 0 deletions