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

replace 'final' by 'override', and fix missing 'override's

parent 2ff36e50
No related branches found
No related tags found
1 merge request!52replace 'final' by 'override', and fix missing 'override's
Pipeline #35641 passed
Stage: build