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 /.gitignore | |
| parent | b5ad7a5232b919319eef1a198d731b308c0bb9cc (diff) | |
| parent | 80bf3cfff05d3ddabf75b2e53ed040aff0bbae62 (diff) | |
Merge pull request #400 from Timidger/data_device_destructor
Adds wlr_data_device_manager destructor
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions