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 /.gitignore | |
parent | 0fa784de0ec3ca6ddc336f714329d3551107a70b (diff) |
xdg-shell: end pointer and keyboard grab at the same time
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions