diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2019-01-24 17:56:19 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2019-01-24 17:56:19 -0300 |
| commit | a280bd0c854d15f3d50952186370c37dfab467f0 (patch) | |
| tree | 2cfe6a99ed19fea92174e1505035ec43ff2dda93 /editor/doc | |
| parent | fb7c526ec4bdb9e9b0946092ef78efc5c8452968 (diff) | |
Removed dangerous and useless function, closes #22884
Diffstat (limited to 'editor/doc')
0 files changed, 0 insertions, 0 deletions