diff --git a/docs/index.html b/docs/index.html index 1a7c2d39d2177c4f6be74a4725c7a5f9e14f63a1..d96e1964df6ce13cb588dbeedfb0e2ed33646c59 100644 --- a/docs/index.html +++ b/docs/index.html @@ -119,11 +119,11 @@