diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-15 12:13:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-15 12:13:33 +0200 |
| commit | 6497a3fb50802d2a56f5d6a586a66da0f887dc04 (patch) | |
| tree | 3cae8d4fa8f1cf255ead18aafcbb9e304f09f92e /thirdparty/rvo2 | |
| parent | 0f369ac2c08872a80d28864c5c5cb47c81ec2c31 (diff) | |
| parent | 526e060b7320de63501680549a5b586573e27a01 (diff) | |
Merge pull request #40291 from hinlopen/dialog-size
Resize various dialogs
Diffstat (limited to 'thirdparty/rvo2')
0 files changed, 0 insertions, 0 deletions