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 | |
| 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')
0 files changed, 0 insertions, 0 deletions