]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8472 from GrahamBenHarper/graham_dev_MappingKind
authorDaniel Arndt <arndtd@ornl.gov>
Thu, 8 Aug 2019 05:00:10 +0000 (23:00 -0600)
committerGitHub <noreply@github.com>
Thu, 8 Aug 2019 05:00:10 +0000 (23:00 -0600)
commit23aeabb0d573fc4cb23c362622be80287cd8c987
tree6ce0e02f1d98c190731578259510fdd4978ff765
parent815eb4100494b6a4ebd4aacd1bfe931539f000fa
parentcc7a5516b674a09d6cf3617257d71932be9eb81c
Merge pull request #8472 from GrahamBenHarper/graham_dev_MappingKind

Change all uses of MappingType and mapping_type

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.