diff options
author | Drew DeVault <sir@cmpwn.com> | 2018-11-26 18:36:23 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-26 18:36:23 -0500 |
commit | 05bb44078667a11216611a8fbe87c5fe69e117f8 (patch) | |
tree | 93da8b84405a5f4c12ecced435a3df4d44184200 /backend | |
parent | a2b8d47ff232fe8519953d60aa32dc72faff6044 (diff) | |
parent | 811a4d997b2e00c7cdc3851ccc55a6f52d79126c (diff) |
Merge pull request #1387 from emersion/rename-gtk-primary-selection
Rename wlr_primary_selection to wlr_gtk_primary_selection
Diffstat (limited to 'backend')
0 files changed, 0 insertions, 0 deletions