diff options
| author | Tony Crisci <tony@dubstepdish.com> | 2018-03-17 10:00:54 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-17 10:00:54 -0400 |
| commit | 09413aa7f1eab176c12675217a17ebe367fa7d8f (patch) | |
| tree | d97059ac24cefd144db7c7789461106a1f70b9c5 /protocol/gtk-primary-selection.xml | |
| parent | 9cc875429b40e2567b219f8e9ffd23316d136204 (diff) | |
| parent | 303883ce49b81438c8653991f40e72b0481e27cf (diff) | |
Merge pull request #711 from emersion/map-unmap
Add map/unmap to xdg-shell
Diffstat (limited to 'protocol/gtk-primary-selection.xml')
0 files changed, 0 insertions, 0 deletions