diff options
| author | Chen Wang <[email protected]> | 2025-02-13 23:28:19 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-02-13 23:28:19 +0800 |
| commit | f6f7d91a61c9a75ce8e79f6156a2a97f24baed90 (patch) | |
| tree | f64556653578efa64ef000eeb8b6dba30d616d20 /src/timer.c | |
| parent | d8079e384330a0df489c09910689104c8d9b3fbe (diff) | |
doxygen: add prefix for page name (#9989)
Add prefix "page_" to the name of pages.
Add this as a rule in guide of writing doxygen documents.
Signed-off-by: Chen Wang <[email protected]>
Diffstat (limited to 'src/timer.c')
0 files changed, 0 insertions, 0 deletions