]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 225b014)
Document Sacado as optional dependency 7065/head
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Wed, 15 Aug 2018 11:08:29 +0000 (13:08 +0200)
committerDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Wed, 15 Aug 2018 11:11:57 +0000 (13:11 +0200)
doc/external-libs/trilinos.html patch | blob | history

diff --git a/doc/external-libs/trilinos.html b/doc/external-libs/trilinos.html
index 8178e0f0b25fe0ead0bf98da17f1556a3e1403fb..a512a888e1bc4c725e45387273a0f95376c4c271 100644 (file)
--- a/doc/external-libs/trilinos.html
+++ b/doc/external-libs/trilinos.html
@@ -64,7 +64,7 @@
         <li> ML,
         <li> MueLu,
         <li> ROL (optional),
-        <li> Sacado,
+        <li> Sacado (optional),
         <li> Teuchos,
         <li> Zoltan (optional).
       </ul>
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.