diff options
| author | emersion <contact@emersion.fr> | 2017-09-28 13:34:22 +0200 |
|---|---|---|
| committer | emersion <contact@emersion.fr> | 2017-09-28 13:34:22 +0200 |
| commit | 55d246218013afb8a0c75be852fbc22bca3bbcbd (patch) | |
| tree | 80fab09285186077dd47a737e18e4d65c772b5b3 /include/backend/x11.h | |
| parent | 9d405cffa79d8de6378eca84fcd3881a5f68107c (diff) | |
Remove ping_timer when destroying wlr_wl_shell_surface
Diffstat (limited to 'include/backend/x11.h')
0 files changed, 0 insertions, 0 deletions