From 5d961e3292ad4c700f84bec2ec07b6ab21d4595f Mon Sep 17 00:00:00 2001 From: Timo Heister 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 parameters:section1/subsection1/someentry. Because * special characters can appear in the section and entry names, these * will be "mangled". Here, all characters except [a-zA-Z0-9] - * are replaced by _XX, where XX is the digit + * are replaced by _XX, where XX is the two-digit * ascii code of the character in hexadecimal encoding (so a space becomes * _20 for example). * -- 2.39.5