diff --git a/documentation/extensions/intro.html b/documentation/extensions/intro.html index 85e45a17a..633d8e68f 100644 --- a/documentation/extensions/intro.html +++ b/documentation/extensions/intro.html @@ -78,7 +78,7 @@