From: Jean-Paul Pelteret Date: Fri, 12 Oct 2018 19:42:06 +0000 (+0200) Subject: Merge pull request #7343 from bangerth/doc-update-1 X-Git-Tag: v9.1.0-rc1~624 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=067b67fb6b7f662e1668720713451faa7b256b4a;p=dealii.git Merge pull request #7343 from bangerth/doc-update-1 Use the infinitive form of verbs in the first sentence of doc strings. --- 067b67fb6b7f662e1668720713451faa7b256b4a