diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-07-30 20:03:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-30 20:03:49 +0200 |
| commit | 875075cd654e665e65560164ec499a764b706b1b (patch) | |
| tree | 872e5b9ef986671e2a9d6d82647eccf27f944076 /editor/plugins | |
| parent | 5544ea4a178bc788c6b1ca5dd25dbc36ad14c072 (diff) | |
| parent | 7de2c70e11ae6a1a4a1166ad2e413fd11400d2d9 (diff) | |
Merge pull request #30961 from Calinou/window-size-error
Turn `OS.set_min/max_window_size()` warnings into errors
Diffstat (limited to 'editor/plugins')
0 files changed, 0 insertions, 0 deletions