]> https://gitweb.dealii.org/ - dealii.git/commit
Fix types 12947/head
authorPeter Munch <peterrmuench@gmail.com>
Mon, 15 Nov 2021 15:03:08 +0000 (16:03 +0100)
committerPeter Munch <peterrmuench@gmail.com>
Tue, 16 Nov 2021 06:39:58 +0000 (07:39 +0100)
commit31eddbb091862863416e4e6e18ebe9d149ad2245
tree951c74e5a4c972e1ceb531522eadcbba6fb762fe
parent9d8c8e932003df38d23d251a4ee660613eb78775
Fix types
source/distributed/tria.cc

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.