diff options
| author | Gilles Roudiere <gilles.roudiere@gmail.com> | 2017-12-30 22:18:23 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-30 22:18:23 +0900 |
| commit | 0294887a0ca1b42f9fddb3858d4ee304b3f4d055 (patch) | |
| tree | 52141d7cd668aeeffa9cc7f65124d424667cfcff /platform/server/os_server.h | |
| parent | 9d406889529e480019dbd5b066e2c9c492d2ad97 (diff) | |
| parent | 343497149621433f4acd56b85f576e100790a243 (diff) | |
Merge pull request #15175 from Hinsbart/windowed_editor
Editor: Respect -w command line flag.
Diffstat (limited to 'platform/server/os_server.h')
0 files changed, 0 insertions, 0 deletions