diff options
| author | Tony Crisci <tony@dubstepdish.com> | 2017-12-27 08:04:01 -0500 |
|---|---|---|
| committer | Tony Crisci <tony@dubstepdish.com> | 2017-12-27 08:04:01 -0500 |
| commit | 815d71a3aa24cfb87870741319cae99ba1726b8f (patch) | |
| tree | 42cc56c55a1276be1b8358c1a84fc639ea5d941d /include/wlr/util | |
| parent | 069f120b70f364dc83d43dfff89ce731584299b5 (diff) | |
validate grab serial for shell events
Diffstat (limited to 'include/wlr/util')
0 files changed, 0 insertions, 0 deletions