diff options
| author | Tony Crisci <tony@dubstepdish.com> | 2017-10-12 13:33:42 -0400 |
|---|---|---|
| committer | Tony Crisci <tony@dubstepdish.com> | 2017-10-12 13:33:42 -0400 |
| commit | 327f656c3504048c542cbdf332c0a14f2c47c74b (patch) | |
| tree | d814ec6af4563eff868482689621c330efed0516 /backend/drm/properties.c | |
| parent | 2272f3d47cdcb5ffa42dcd20ad87253f78a2e9d0 (diff) | |
bug: emit wlr-seat pointer grab end event
Diffstat (limited to 'backend/drm/properties.c')
0 files changed, 0 insertions, 0 deletions