diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2018-11-22 17:26:31 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2018-11-22 17:27:01 -0300 |
| commit | 9efc6d85d86dcb469b458dabe382e641f67ea729 (patch) | |
| tree | bc63a8cf0e57da4c2a2a98698112b658a04f64be /editor/doc | |
| parent | 7a9e4c26024e93fd5ab7a39fd62d63d5ea074d1a (diff) | |
Do not crash on invalid file, closes #21083
Diffstat (limited to 'editor/doc')
0 files changed, 0 insertions, 0 deletions