diff options
| author | Frank LENORMAND <lenormf@gmail.com> | 2018-12-01 08:41:29 +0300 |
|---|---|---|
| committer | Frank LENORMAND <lenormf@gmail.com> | 2018-12-01 08:41:29 +0300 |
| commit | f0e07cc73c41db9afcd33f449f85e2fad097d8d2 (patch) | |
| tree | f74a8fd485991d0bd09682560a633f54acba5dab /src/shell_manager.cc | |
| parent | 16908bf0914e012c4f68de5d875e169f61f2cebd (diff) | |
src: Prevent `:prompt -on-change` from crashing the editor
Fixes #1217
Diffstat (limited to 'src/shell_manager.cc')
0 files changed, 0 insertions, 0 deletions