summaryrefslogtreecommitdiff
path: root/c-user/rate-monotonic (follow)
AgeCommit message (Collapse)Author
2021-02-10c-user: Add labels to the manager chaptersSebastian Huber
Update #3993.
2020-09-02c-user: Split up rate-monotonic managerSebastian Huber
This makes it easier to automatically generate parts of the manager documentation in the future. Update #3993.