From: Timo Heister <timo.heister@gmail.com>
Date: Fri, 3 Nov 2017 18:19:06 +0000 (-0400)
Subject: address comment
X-Git-Tag: v9.0.0-rc1~781^2~5
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5d961e3292ad4c700f84bec2ec07b6ab21d4595f;p=dealii.git

address comment
---

diff --git a/include/deal.II/base/parameter_handler.h b/include/deal.II/base/parameter_handler.h
index d18afa83db..e3915334d4 100644
--- a/include/deal.II/base/parameter_handler.h
+++ b/include/deal.II/base/parameter_handler.h
@@ -1233,7 +1233,7 @@ public:
    * and <code>parameters:section1/subsection1/someentry</code>. Because
    * special characters can appear in the section and entry names, these
    * will be "mangled". Here, all characters except <code>[a-zA-Z0-9]</code>
-   * are replaced by <code>_XX</code>, where <code>XX</code> is the digit
+   * are replaced by <code>_XX</code>, where <code>XX</code> is the two-digit
    * ascii code of the character in hexadecimal encoding (so a space becomes
    * <code>_20</code> for example).
    *