diff --git a/doc/extensions.html b/doc/extensions.html index f8b45c28..04a9ae07 100644 --- a/doc/extensions.html +++ b/doc/extensions.html @@ -244,7 +244,7 @@ enabled: