diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-12-10 11:43:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-10 11:43:12 +0100 |
| commit | bf739f9fe6712aa5a57ae9598324e51504e0f7a4 (patch) | |
| tree | 6087d89d49a4ff07ed349efb8dc29ad9e3e6a0b4 /thirdparty/zstd/common | |
| parent | d98e2801379e1d155a78d445355ebbb717f4bbe1 (diff) | |
| parent | ef64bfd68715599746d7695ad4f162fa0281a4c7 (diff) | |
Merge pull request #14494 from RandomShaper/fix-mouse-x11
Fix no mouse if touch device present in X11
Diffstat (limited to 'thirdparty/zstd/common')
0 files changed, 0 insertions, 0 deletions