diff options
| author | Ignacio Etcheverry <ignalfonsore@gmail.com> | 2020-12-05 00:38:24 +0100 |
|---|---|---|
| committer | Ignacio Etcheverry <ignalfonsore@gmail.com> | 2020-12-05 00:40:31 +0100 |
| commit | bbaf854956add0f09156eaecaaf7d5490b404264 (patch) | |
| tree | cce75127abd1e315320895f56a2a250b05f97ead /editor/doc_tools.h | |
| parent | 04bef80b42408f45d7838f9ef29f0e0553957475 (diff) | |
Fix unhandled exception re-thrown in the editor
Diffstat (limited to 'editor/doc_tools.h')
0 files changed, 0 insertions, 0 deletions