diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-06-24 22:59:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-24 22:59:59 +0200 |
| commit | 6fbd045845aabafae5bd06ad3e285480eb16b10d (patch) | |
| tree | e717168e51caff3a1f1b836ff822aebded5c848c /core/pool_allocator.cpp | |
| parent | 29cddef895bf767f715bd3e5f90aa786d2c3c895 (diff) | |
| parent | 81065d53df55d3c04a2ef3447eec3ffe711f7566 (diff) | |
Merge pull request #29913 from eligt/fix-editor-help
Ensure indentation works properly in rich text
Diffstat (limited to 'core/pool_allocator.cpp')
0 files changed, 0 insertions, 0 deletions