]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #10318 from bangerth/override
authorDavid Wells <drwells@email.unc.edu>
Sat, 23 May 2020 00:15:23 +0000 (20:15 -0400)
committerGitHub <noreply@github.com>
Sat, 23 May 2020 00:15:23 +0000 (20:15 -0400)
commit226af37828449231455443510f128c1b155b4b95
tree79d0c6bea1561930d5f79cd5c3703c723a079626
parentb4689348ba066ebc7a96c5fa54ad8733b7a732db
parent0be2444630a6f5522e1d6b3072a6098ead29645d
Merge pull request #10318 from bangerth/override

Use 'override' on overridden member functions in the documentation.

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.