From 5d961e3292ad4c700f84bec2ec07b6ab21d4595f Mon Sep 17 00:00:00 2001 From: Timo Heister <timo.heister@gmail.com> Date: Fri, 3 Nov 2017 14:19:06 -0400 Subject: [PATCH] address comment --- include/deal.II/base/parameter_handler.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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). * -- 2.39.5