From: Martin Kronbichler Date: Wed, 7 Mar 2018 06:41:27 +0000 (+0100) Subject: Merge pull request #5995 from bangerth/doc-update X-Git-Tag: v9.0.0-rc1~359 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=209f18875982faed45cf7d30e9248f887a34e43d;p=dealii.git Merge pull request #5995 from bangerth/doc-update Expand on the discussion in the introduction to step-14. --- 209f18875982faed45cf7d30e9248f887a34e43d