diff options
| author | gingerBill <bill@gingerbill.org> | 2022-09-17 12:56:03 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2022-09-17 12:56:03 +0100 |
| commit | 0ebc2add030d224d59c0b8961dfa75a1f9d13b91 (patch) | |
| tree | 626dd50254168b0f3d98d8bc3f79f5a680512aa4 /src/checker.cpp | |
| parent | 7840c1b89f3e6a7b3d962e6f5e96aab77a3ddc3b (diff) | |
Use a cache when generating the map header to minimize stack wastage
Diffstat (limited to 'src/checker.cpp')
0 files changed, 0 insertions, 0 deletions