diff --git a/docs/index.html b/docs/index.html index 292d919c0d..86ed2521a5 100644 --- a/docs/index.html +++ b/docs/index.html @@ -621,7 +621,7 @@
<code>
>html<
<html>
<pre>