5 commits

Author	SHA1	Message	Date
Robert Hensing	3172e88af5	Make abort() call sites log first	2024-07-24 16:52:04 +02:00
John Ericson	f4ab297b31	Ensure all headers have #pragma once and are in API docs ... `///@file` makes them show up in the internal API dos. A tiny few were missing `#pragma once`.	2023-03-31 23:19:44 -04:00
John Ericson	abd5e7dec0	Extend internal API docs, part 2 ... Picking up from #8111. Co-authored-by: Eelco Dolstra <edolstra@gmail.com>	2023-03-31 23:01:40 -04:00
Théophane Hufschmitt	7b889f31ea	Fix the darwin build ... Looks like the auto-merge is indeed quite broken and merges even when the CI fails	2022-04-22 10:56:56 +02:00
Théophane Hufschmitt	7ca6fbc8ca	Move ChunkedVector to its own header	2022-04-22 10:01:02 +02:00