]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #11289 from peterrum/mg_override
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 1 Dec 2020 14:57:29 +0000 (07:57 -0700)
committerGitHub <noreply@github.com>
Tue, 1 Dec 2020 14:57:29 +0000 (07:57 -0700)
commit58ddbdaeab3bde8df747c1f5ab205ce9de50e35c
tree9fb072997b720169424199be77dc8b808761e236
parent1504df210bfe9d29fcc4ea5692aef6819cf3e717
parentcca9f826076c1113dd4ff7579b7589a221eac3c7
Merge pull request #11289 from peterrum/mg_override

Add missing override

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.