]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #4191 from bangerth/implement-convert-interface-5
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Thu, 6 Apr 2017 00:13:37 +0000 (02:13 +0200)
committerGitHub <noreply@github.com>
Thu, 6 Apr 2017 00:13:37 +0000 (02:13 +0200)
commita3b33e4f7afcb6918d363633981a869523faf382
treef7a223050f3a5ad6e54da1e6af51adeab9e5b1f3
parentd40f357dec9b2ad17f4b900680d12dde80464932
parent456d9acc34f7cb5b9701398329ca1787b9e6b93b
Merge pull request #4191 from bangerth/implement-convert-interface-5

Minor code cleanups.

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.