]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 63a1bbf 888d1c3)
Merge pull request #9200 from bangerth/fix-1
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Tue, 31 Dec 2019 07:20:07 +0000 (08:20 +0100)
committerGitHub <noreply@github.com>
Tue, 31 Dec 2019 07:20:07 +0000 (08:20 +0100)
Fix what looks like an obvious typo in the UMFPACK source files.


Trivial merge
Mirror of the development repository for deal.II

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.