From: Matthias Maier <tamiko@43-1.org>
Date: Fri, 8 Oct 2021 04:24:41 +0000 (-0500)
Subject: Merge pull request #12799 from bangerth/arkode
X-Git-Tag: v9.4.0-rc1~958
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=26c7ba5cba605a6761bcff472f11af6d71edbdbf;p=dealii.git

Merge pull request #12799 from bangerth/arkode

Minor edits to the ARKODE documentation.
---

26c7ba5cba605a6761bcff472f11af6d71edbdbf