Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-03-31 | Ensure all headers have `#pragma once` and are in API docs | John Ericson | |
`///@file` makes them show up in the internal API dos. A tiny few were missing `#pragma once`. | |||
2023-03-31 | Extend internal API docs, part 2 | John Ericson | |
Picking up from #8111. Co-authored-by: Eelco Dolstra <edolstra@gmail.com> | |||
2022-04-22 | Fix the darwin build | Théophane Hufschmitt | |
Looks like the auto-merge is indeed quite broken and merges even when the CI fails | |||
2022-04-22 | Move ChunkedVector to its own header | Théophane Hufschmitt | |