diff options
author | Tony Crisci <tony@dubstepdish.com> | 2017-11-16 06:27:37 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-16 06:27:37 -0500 |
commit | 57a355a6a778c1b23de8728f407b10cc2e481758 (patch) | |
tree | d5c14929f792c33f4f0a069f345600213c7f10f0 /include/backend/session/direct-ipc.h | |
parent | ac78c6642a1c742c896f08282ee31c4f0d3acd51 (diff) | |
parent | 7d847efe403c01a842a3e237b49249c95372d9de (diff) |
Merge pull request #421 from emersion/parent-compositor-exit
Terminate on parent compositor exit
Diffstat (limited to 'include/backend/session/direct-ipc.h')
0 files changed, 0 insertions, 0 deletions