diff options
| author | Drew DeVault <sir@cmpwn.com> | 2018-09-05 09:35:20 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-05 09:35:20 -0400 |
| commit | 8898f3199a99f3953e08a9312ad993712e434f71 (patch) | |
| tree | 68bc94447195ede3a83e2865d2c6c6ccff22bd79 /protocol/gtk-primary-selection.xml | |
| parent | 04c39a07197b5b8e31510b7b0981a1a56e9f6542 (diff) | |
| parent | 8a6bdc193d552119c828c4f9270fe6881fe5d083 (diff) | |
Merge pull request #1229 from emersion/drm-hotplug-fixes
backend/drm: better hotplug handling
Diffstat (limited to 'protocol/gtk-primary-selection.xml')
0 files changed, 0 insertions, 0 deletions