diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2019-02-17 09:05:32 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2019-02-17 09:05:32 -0300 |
| commit | 1aa7e22b67473cfd6f50ea9808b827d39f43e6bb (patch) | |
| tree | e8b6da87d5ebe5f96d98d78b1699d6225b89eec0 /editor/editor_plugin.h | |
| parent | 623f7b64ae7ab075fe9cc7f5b7b2c777e774f81d (diff) | |
Clear up eof_reached function, fixes #16919
Diffstat (limited to 'editor/editor_plugin.h')
0 files changed, 0 insertions, 0 deletions