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> | |||
2020-09-21 | Move Callback into its own header | Eelco Dolstra | |
This gets rid of the inclusion of <future> in util.hh, cutting compilation time by ~20s (CPU time). Issue #4045. |