]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9032 from peterrum/dict_generalize
authorTimo Heister <timo.heister@gmail.com>
Mon, 25 Nov 2019 03:16:56 +0000 (22:16 -0500)
committerGitHub <noreply@github.com>
Mon, 25 Nov 2019 03:16:56 +0000 (22:16 -0500)
commit844f4a18cf8775d2c7fd9a0625224f0a082c987e
tree34a08f694dd4d0002392737d985b0742d01acf9d
parentab14df5e9aa91173b1879f9da936ef2dcd7f1d5c
parent7188e7841a9b9f2c1f064da8b796cc73348d3b5b
Merge pull request #9032 from peterrum/dict_generalize

Generalize ComputeIndexOwner::Dictionary

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.