diff options
| author | Tony Crisci <tony@dubstepdish.com> | 2018-03-30 16:16:52 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-30 16:16:52 -0400 |
| commit | 212d957c69b15e57a791eec52de34dcde4241e86 (patch) | |
| tree | ca322e83acc15308f6aeb516a76a0c1fbd324c8c /protocol/server-decoration.xml | |
| parent | e8cb5e89e915294b410a5349ccbdae40a456d0ff (diff) | |
| parent | 865b0aa123172852b49df4178437e6e8a020bc60 (diff) | |
Merge pull request #779 from emersion/xwayland-map-consistency
xwayland: rename map_notify to map for consistency
Diffstat (limited to 'protocol/server-decoration.xml')
0 files changed, 0 insertions, 0 deletions