Skip to content
Snippets Groups Projects
Commit 07963c13 authored by Wuttke, Joachim's avatar Wuttke, Joachim
Browse files

@brief always ends with '.'

parent 596a4119
No related branches found
No related tags found
1 merge request!2117Merge some files concerned with font sizes; rectify '@brief' lines in file headers
Pipeline #119482 passed
Stage: build