]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Merge pull request #9237 from tjhei/trilinos_muelu_optional
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Sun, 9 Feb 2020 20:43:46 +0000 (21:43 +0100)
committerGitHub <noreply@github.com>
Sun, 9 Feb 2020 20:43:46 +0000 (21:43 +0100)
make MueLu optional in Trilinos

1  2 
cmake/configure/configure_2_trilinos.cmake
doc/external-libs/trilinos.html

Simple merge

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.