diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-03-23 10:04:05 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-23 10:04:05 +0100 |
| commit | b5af63fc8c9691490f566c9c02d9a4a2174a9e3f (patch) | |
| tree | 758f7571667bd6098df11c377712c846e8e94193 /servers/visual/visual_server_viewport.h | |
| parent | f672fd768623f2a819593080eab16a0cbbe4f05c (diff) | |
| parent | f5147befb68cc2a021034a55ad64a4e1fae4bba2 (diff) | |
Merge pull request #17679 from ivodopiviz/external-editor-switch
Prevented external editor from running multiple times
Diffstat (limited to 'servers/visual/visual_server_viewport.h')
0 files changed, 0 insertions, 0 deletions