diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-06-05 08:52:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-05 08:52:58 +0200 |
| commit | f09f1456b33430e86c409fe02470d9c2895e7c75 (patch) | |
| tree | 7e71bb0de65fac72249be7477c094a9f7b5a22cb /modules/ogg/config.py | |
| parent | 40959acef2b16a7f9658c780943cccfadb8ef78c (diff) | |
| parent | 18d7ab21df3fed45c4fa149ed9f22d43bbfafdd6 (diff) | |
Merge pull request #9050 from vnen/fix-run-window-size
Update window size property names for editor run
Diffstat (limited to 'modules/ogg/config.py')
0 files changed, 0 insertions, 0 deletions