diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-06-08 07:39:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-08 07:39:09 +0200 |
| commit | 7a3d557622075f4a72076f28b90910ac542b8690 (patch) | |
| tree | 227c6fe8a701f0dfb8231dda448e137541fca455 /platform | |
| parent | 7570d9589ddbbb65b7bc50e2466d62570ae0d793 (diff) | |
| parent | 9fd41416a910b412084da94b3d9bce6e1d6ebe1a (diff) | |
Merge pull request #9089 from nunodonato/autoopennew
Automatically edit new project after creating it in project manager. Fixes #9075
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions