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 /examples/.gitignore | |
| 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 'examples/.gitignore')
0 files changed, 0 insertions, 0 deletions