diff options
| author | Tony Crisci <tony@dubstepdish.com> | 2017-12-23 14:02:39 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-23 14:02:39 -0500 |
| commit | e8a35a84ba2118936e6a4b5dbcd7872d320216e4 (patch) | |
| tree | ee9b14fedffed2871b5317220bde365d69d98b01 /include/backend/drm | |
| parent | 0a370c529806077a11638e7fa856d5fbb539496b (diff) | |
| parent | d4d860666cc2dd10a105fadd33aad2f682139a6e (diff) | |
Merge pull request #509 from emersion/primary-selection
Add gtk-primary-selection protocol
Diffstat (limited to 'include/backend/drm')
0 files changed, 0 insertions, 0 deletions