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 /examples/output-layout.c | |
parent | 9d405cffa79d8de6378eca84fcd3881a5f68107c (diff) |
Remove ping_timer when destroying wlr_wl_shell_surface
Diffstat (limited to 'examples/output-layout.c')
0 files changed, 0 insertions, 0 deletions