]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12511 from drwells/missing-umfpack-extension
authorTimo Heister <timo.heister@gmail.com>
Mon, 28 Jun 2021 05:06:38 +0000 (01:06 -0400)
committerGitHub <noreply@github.com>
Mon, 28 Jun 2021 05:06:38 +0000 (01:06 -0400)
commit8bcc9e0e3429da153988088f688bd051b181789b
tree79e2422ce9110b27439865abe4afbd2f9b7dfd26
parent8c9c257d29ed85638950aa4529f54d8582bd9c13
parentbbc1c51c5388b82376be2faba8ea56d06bea192f
Merge pull request #12511 from drwells/missing-umfpack-extension

Add one more missing file extension.

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.