diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-01-24 21:47:24 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-24 21:47:24 +0100 |
commit | 08b7cd0d3d131f54b3a4d8440f650105acb97288 (patch) | |
tree | 705e3d29b181301cc47f0e54166162fe36057283 /core/pool_allocator.cpp | |
parent | 44cce2bdfb553b24cc00ad61c389d7f97851c2ea (diff) | |
parent | 70bba4e62dc3ffe258fcc19b1e31af0354cedb3f (diff) |
Merge pull request #16041 from Chaosus/fixcolordoc
Fix small bug in color doc
Diffstat (limited to 'core/pool_allocator.cpp')
0 files changed, 0 insertions, 0 deletions