diff options
| author | Vaxry <43317083+vaxerski@users.noreply.github.com> | 2022-10-07 22:20:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-07 22:20:35 +0100 |
| commit | 4b779ac14223cb12ced6811b82c401dfbd00ea9a (patch) | |
| tree | 94509b974e0d2376b209151a36b4ca6750f1f8ca /src/managers/input | |
| parent | abc2d442dd41cfd41e5c88795a4e892a6d2750dc (diff) | |
| parent | b64f1fc5c4370f2aacc15000138d88fec4ffecbe (diff) | |
Merge pull request #811 from Dickby/add_missing_pixman_region32_fini
Add missing pixman_region32_fini.
Diffstat (limited to 'src/managers/input')
0 files changed, 0 insertions, 0 deletions