diff options
| author | gingerBill <gingerBill@users.noreply.github.com> | 2024-10-04 12:26:32 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-04 12:26:32 +0100 |
| commit | abbbfd2925ce69d2a90d35282a14070e79793944 (patch) | |
| tree | 22c4355f0f10a6b4a7abe2d25f9756242548e940 /src/main.cpp | |
| parent | 9fe8095a848f1a8d81e4ac4b85cd666909c4eb7b (diff) | |
| parent | fd05d94789a5ad1536d0304f6655629efff83697 (diff) | |
Merge pull request #4340 from karl-zylinski/make-map
Add make_map that just sets the allocator without allocating anything
Diffstat (limited to 'src/main.cpp')
0 files changed, 0 insertions, 0 deletions