diff options
author | Drew DeVault <sir@cmpwn.com> | 2018-03-27 13:15:32 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-27 13:15:32 -0400 |
commit | 1ed90541f9ded47acd5989866927becc0f451d08 (patch) | |
tree | 5f2d16c420cd39b5a507c9da418fa851d8e335d5 /include/backend/drm | |
parent | ac715969ac69ed527321cd6155addd5b62745505 (diff) | |
parent | 171e28eaff6e3699a98b828b6430b844d54f624d (diff) |
Merge pull request #753 from emersion/xdg-shell-unmap-destroy
xdg-shell-v6: don't destroy role resources on unmap
Diffstat (limited to 'include/backend/drm')
0 files changed, 0 insertions, 0 deletions