diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2018-07-15 22:38:14 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2018-07-15 22:38:14 -0300 |
| commit | af7d8fb8442a5be03751b775c850dd5d2ce8fedc (patch) | |
| tree | 8cbaa0c1c1a9c279a07267c10864b76502b2ba8b /core/pool_allocator.h | |
| parent | a3f1ee5c57d7818eaa30c272dd97d1bbb06ca099 (diff) | |
Added small icon to expand the bottom panel (and shortcut too)
Diffstat (limited to 'core/pool_allocator.h')
0 files changed, 0 insertions, 0 deletions