From: Martin Kronbichler Date: Tue, 30 Aug 2022 08:20:08 +0000 (+0200) Subject: Merge pull request #14229 from bangerth/doc-3 X-Git-Tag: v9.5.0-rc1~1003 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1141fc71e129afc1625a870f8adf9ebcb9f37476;p=dealii.git Merge pull request #14229 from bangerth/doc-3 Clarify a comment for one of the particle generators. --- 1141fc71e129afc1625a870f8adf9ebcb9f37476