]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #2453 from tjhei/stray_typename
authorBruno Turcksin <bruno.turcksin@gmail.com>
Mon, 4 Apr 2016 13:34:07 +0000 (08:34 -0500)
committerBruno Turcksin <bruno.turcksin@gmail.com>
Mon, 4 Apr 2016 13:34:07 +0000 (08:34 -0500)
commitc5f057be057559c6a4de906cf07de939d2a7306b
tree61f025ada45ddc93066d3a7f5df11c6ab55e8cdd
parente1ac3f6673de6128f2daa17deb6957c8ee60441e
parentcbd50432ba9b84151fd304e0b83c52889036af96
Merge pull request #2453 from tjhei/stray_typename

Stray typename

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.