Skip to content

Mark a member function as 'override'.#131

Merged
bangerth merged 1 commit intomasterfrom
override
Aug 19, 2020
Merged

Mark a member function as 'override'.#131
bangerth merged 1 commit intomasterfrom
override

Commits

Commits on Aug 19, 2020