]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #10135 from drwells/remove-namespacing
authorDaniel Arndt <arndtd@ornl.gov>
Mon, 11 May 2020 14:54:18 +0000 (10:54 -0400)
committerGitHub <noreply@github.com>
Mon, 11 May 2020 14:54:18 +0000 (10:54 -0400)
commit3ba8e1a19b0ab39cd8f71339579b9cd7ab276e28
tree6c68207e296eca2082c35e0610bb1a579db8e8dc
parent4aff418a1c1252bcd5ad6a7a4eb8340b973f6601
parent5d12baa2698b38344955d7b4e74558df8d78462a
Merge pull request #10135 from drwells/remove-namespacing

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.