diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-07-26 23:55:43 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-26 23:55:43 +0200 |
commit | 0a7942f4bb61cba8f02f2cbe0ec83b95eefa6726 (patch) | |
tree | bc6bb470d30107bc18e01f482a435270dab0992c /platform/osx | |
parent | 8636be35b2b209bf6296f602e461273b855b7e18 (diff) | |
parent | b5f110c77eaef5d9f1b3b0c9308a4eed65f04363 (diff) |
Merge pull request #40735 from akien-mga/no-dominion-outside-borders
Script editor: Don't open dominant script in external editor
Diffstat (limited to 'platform/osx')
0 files changed, 0 insertions, 0 deletions