]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12671 from drwells/mark-as-protected
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 19 Aug 2021 00:14:31 +0000 (18:14 -0600)
committerGitHub <noreply@github.com>
Thu, 19 Aug 2021 00:14:31 +0000 (18:14 -0600)
commit35e81f39d399414d63d4456052bd7d2ff5871d3f
treeeba1c279689d3fc8ea779907308a41127b6926e3
parent374515fb747e70c9b770ecce62da6adbcaf488e9
parent7fa4dc587ce86b2c6c318b309ee2c8baf4a10ab0
Merge pull request #12671 from drwells/mark-as-protected

Mark some things as protected.

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.