diff options
| author | Robert Hensing <robert@roberthensing.nl> | 2022-01-19 15:20:46 +0100 |
|---|---|---|
| committer | Robert Hensing <robert@roberthensing.nl> | 2022-01-19 15:21:56 +0100 |
| commit | dec774811922d7ee220bb8e2488bc2f7abf61844 (patch) | |
| tree | 46d6a4c5f34bcd71302dccfd4604fedc24abb895 /Makefile.config.in | |
| parent | 624f18ad90e3784878e6d303858f59651af68f61 (diff) | |
Replace withBuffer by boost small_vector
Although this will leave gaps in the stack, the performance impact
of those should be insignificant and we get a simpler solution
this way.
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions