diff options
| author | Henrique L. Alves <henriquelalves@gmail.com> | 2016-10-29 11:44:57 -0200 |
|---|---|---|
| committer | Henrique L. Alves <henriquelalves@gmail.com> | 2016-10-29 11:44:57 -0200 |
| commit | 13c92099e64ddf19978f8a53c66d3e44f5ec5922 (patch) | |
| tree | 75f7b647320749a8b4d805899dc7bd771ac580ec /tools/doc | |
| parent | a52cbd65a8cc512c0292daedac59c3d7f1900286 (diff) | |
Won't change editor tabs when using External Editor.
Fixes issue #3046.
Diffstat (limited to 'tools/doc')
0 files changed, 0 insertions, 0 deletions