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/drm/properties.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/drm/properties.h')
0 files changed, 0 insertions, 0 deletions