]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6313 from masterleinad/capitalize_gmsh
authorMatthias Maier <tamiko@43-1.org>
Tue, 24 Apr 2018 14:26:57 +0000 (09:26 -0500)
committerGitHub <noreply@github.com>
Tue, 24 Apr 2018 14:26:57 +0000 (09:26 -0500)
commitee142a93102c9ed3fecdf39b9cd866f0819742bb
tree79060072c73dc67a1e1807d0d0bd1bbea4319e2e
parent14cfa2dd75eca6ad58e8a4dd299c7cd22a054b1f
parentfe61dd4f763f617a0c251a1fdf5cc41df97c51e1
Merge pull request #6313 from masterleinad/capitalize_gmsh

Capitalize Gmsh appropriately

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.