diff --git a/documentation/extensions/intro.html b/documentation/extensions/intro.html index 244edb334..950cc92b0 100644 --- a/documentation/extensions/intro.html +++ b/documentation/extensions/intro.html @@ -66,7 +66,7 @@