diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-10 14:53:31 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-10 14:53:45 +0200 |
| commit | c0df3b147e59199fa3d7743f89c167a440daa070 (patch) | |
| tree | e1af9a34c458938b3cf87828ede885a76277bef8 /servers/arvr | |
| parent | 0f6803ea779d46daeedcefa18d9d257fd661a86b (diff) | |
Make sure project manager gets editor hint set
Previous fix in e8e06b2 worked in most cases but not if you run e.g.
'godot -', where the '-' argument would mean that 'project_manager'
is false and yet that's what will be opened eventually.
Diffstat (limited to 'servers/arvr')
0 files changed, 0 insertions, 0 deletions