diff options
| author | Tony Crisci <tony@dubstepdish.com> | 2018-06-24 18:48:13 -0400 |
|---|---|---|
| committer | Tony Crisci <tony@dubstepdish.com> | 2018-06-24 18:50:04 -0400 |
| commit | 006edc9dcb08db2019d98ddfe117bb4bf63fdb1f (patch) | |
| tree | 12862cab6694d6a03a68267bfcc041bcbd9a1cbf /backend | |
| parent | 0fa784de0ec3ca6ddc336f714329d3551107a70b (diff) | |
xdg-shell: end pointer and keyboard grab at the same time
Diffstat (limited to 'backend')
0 files changed, 0 insertions, 0 deletions