@brief always ends with '.'
1 related merge request: !2117 Merge some files concerned with font sizes; rectify '@brief' lines in file headers
branch
4 jobs
9 minutes 5 seconds, queued for 66 seconds