diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2015-06-24 18:57:14 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2015-06-24 18:57:14 -0300 |
| commit | 29b2e811f6d775c07af68e466401aaf47314b679 (patch) | |
| tree | 34322df3d19f0fa7fa2a097259b26903100d054c /core/pool_allocator.cpp | |
| parent | b4190ed2b9d74bbe23bb3802abb1524ee2d5eff7 (diff) | |
added a tiny bit more space to docks and script tab
Diffstat (limited to 'core/pool_allocator.cpp')
0 files changed, 0 insertions, 0 deletions