diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-07-31 21:42:50 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-31 21:42:50 +0200 |
commit | be435608b0b1bb6ff3de10009ade5ec2017016d8 (patch) | |
tree | 5b6c398f8be0e3c411b3ca0e106b5a93a4919621 /platform/android/audio_driver_jandroid.h | |
parent | 29df1919e1fe425dc6f9b68863c294cadd08a80e (diff) | |
parent | a31b164071dd7af790d4b62057d9f9222285e59d (diff) |
Merge pull request #40922 from opl-/fix/x11-size-hints
Fix losing X11 window normal size hint properties
Diffstat (limited to 'platform/android/audio_driver_jandroid.h')
0 files changed, 0 insertions, 0 deletions