diff options
author | Tony Crisci <tony@dubstepdish.com> | 2017-12-03 14:06:43 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-03 14:06:43 -0500 |
commit | aa7efa1564f7e92318da9212c37bf3096361453c (patch) | |
tree | 1797db0c9495a320ce802b238c554de4cddd94e1 /include/backend/drm/properties.h | |
parent | 8eceaa2291febc70d32d6791693cbbcad407d401 (diff) | |
parent | 20545b09faf52bfde4513e6fbe519d4df686e404 (diff) |
Merge pull request #457 from acrisci/feature/wl-shell-commit
wl-shell: add commit event
Diffstat (limited to 'include/backend/drm/properties.h')
0 files changed, 0 insertions, 0 deletions