diff options
author | Juan Linietsky <reduzio@gmail.com> | 2016-06-29 18:27:12 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2016-06-29 18:27:12 -0300 |
commit | e5fc62cc4b8ec6440fa4badb5b9ff4bbe92bdc04 (patch) | |
tree | b2489136d1dd6eb63b247fedbb739cb7c21d6206 /core/pool_allocator.cpp | |
parent | 22d52276637164f8929e10b57a3d6cf8a79db69e (diff) |
remove unnecesary warning, closes #5169
Diffstat (limited to 'core/pool_allocator.cpp')
0 files changed, 0 insertions, 0 deletions