diff --git a/docs/config_whitespace.html b/docs/config_whitespace.html index 546cafc25..0535a1735 100644 --- a/docs/config_whitespace.html +++ b/docs/config_whitespace.html @@ -22,6 +22,9 @@