diff options
| author | Bojidar Marinov <bojidar.marinov.bg@gmail.com> | 2019-06-28 15:34:09 +0300 |
|---|---|---|
| committer | Bojidar Marinov <bojidar.marinov.bg@gmail.com> | 2019-06-28 15:34:09 +0300 |
| commit | 9ebc146383e562cab8ac15ec5b97d7689bebe1a7 (patch) | |
| tree | 29e0f322814195d40d412bac106c965004b5fe69 /editor/fileserver | |
| parent | 2df8b5606b9de9d11873c27f0a297127bbbfc255 (diff) | |
Ensure --export implies --editor
Fixes #30149
Diffstat (limited to 'editor/fileserver')
0 files changed, 0 insertions, 0 deletions