]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6559 from masterleinad/fix_override
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 10 May 2018 00:27:02 +0000 (19:27 -0500)
committerGitHub <noreply@github.com>
Thu, 10 May 2018 00:27:02 +0000 (19:27 -0500)
commit2c16d017c440e203aa0f0b3e1311258bf0497cbf
tree10417628dc2936f85d7ee6a6f1cf615f70e865ed
parentead0a02532f1380c5eed75857012a003161dadc3
parent2e6baf67470d0b6fced4f7f63010fa5c2efc600b
Merge pull request #6559 from masterleinad/fix_override

 Make sure to use override where appropriate

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.