diff --git a/docs/index.html b/docs/index.html index 6939d8d00f9c3eeec1b70fd40e75c0e8264d186c..80e7ff4807f9a8bfa172247af8bdcde5df21425d 100644 --- a/docs/index.html +++ b/docs/index.html @@ -140,8 +140,11 @@