From 320fa5ac9e6bee0b7bd1c3e5475bcfc539c3bfcb Mon Sep 17 00:00:00 2001 From: Daniel Arndt Date: Wed, 15 Aug 2018 13:08:29 +0200 Subject: [PATCH] Document Sacado as optional dependency --- doc/external-libs/trilinos.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/external-libs/trilinos.html b/doc/external-libs/trilinos.html index 8178e0f0b2..a512a888e1 100644 --- a/doc/external-libs/trilinos.html +++ b/doc/external-libs/trilinos.html @@ -64,7 +64,7 @@
  • ML,
  • MueLu,
  • ROL (optional), -
  • Sacado, +
  • Sacado (optional),
  • Teuchos,
  • Zoltan (optional). -- 2.39.5