diff options
| author | emersion <contact@emersion.fr> | 2018-05-28 20:27:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-28 20:27:55 +0100 |
| commit | 3444f43c16e49ad64fa6f1f11be7baf16b3bf49c (patch) | |
| tree | de15e9b07d6adfc2dd215c8de15b6d611b6a700e /include/util | |
| parent | f95bd1facf5b61efc72ac9c09480d77fea6ee39a (diff) | |
| parent | 044fa52be48ff47abe6df0e5e77761f7b0598110 (diff) | |
Merge pull request #1012 from acrisci/doc-map-unmap
document the map/unmap xdg-shell events
Diffstat (limited to 'include/util')
0 files changed, 0 insertions, 0 deletions