diff options
author | Tony Crisci <tony@dubstepdish.com> | 2017-11-10 08:07:15 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-10 08:07:15 -0500 |
commit | ca3c373c18fa2c4edb2e3f46c74d50f1f571e72c (patch) | |
tree | e0d19a3060b9dfc9cccbcd53d934943dc3820f7a /include/backend/drm/renderer.h | |
parent | b5ad7a5232b919319eef1a198d731b308c0bb9cc (diff) | |
parent | 80bf3cfff05d3ddabf75b2e53ed040aff0bbae62 (diff) |
Merge pull request #400 from Timidger/data_device_destructor
Adds wlr_data_device_manager destructor
Diffstat (limited to 'include/backend/drm/renderer.h')
0 files changed, 0 insertions, 0 deletions