Skip to content
Snippets Groups Projects
Commit 7fed19fe authored by Markus Blatt's avatar Markus Blatt
Browse files

Let the user choose the allocator. 

Default is the standard allocator now (as PoolAllocator seems fishy).

[[Imported from SVN: r989]]
parent 37f8307e
Branches
Tags
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 127 additions and 123 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment