diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-09-04 08:12:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-04 08:12:29 +0200 |
| commit | b5d2d0a9a502416a03f303fc30bee8a7ec8e93e2 (patch) | |
| tree | 754f5946625e043fedbdb83503e52d2c9fbe3159 /editor/node_dock.h | |
| parent | 0f5e575d6026ff4f6d8a4d28fbd8e7eca77aeef5 (diff) | |
| parent | 52a7be4eefbafcc983766bd80a87752b678c1c17 (diff) | |
Merge pull request #10939 from neikeq/fix-overridden-external-editors
Fixes language overridden external editors
Diffstat (limited to 'editor/node_dock.h')
0 files changed, 0 insertions, 0 deletions