From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Tue, 27 Mar 2018 13:19:59 +0000 (+0700)
Subject: Merge pull request #42 from bangerth/minor-edits
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1545b53926a10e9acd1ce257aef99015ef552d57;p=code-gallery.git

Merge pull request #42 from bangerth/minor-edits

Minor edits to grammar and formulas.
---

1545b53926a10e9acd1ce257aef99015ef552d57