diff --git a/misc/index.html b/misc/index.html index 14de2b1df..34a8343c8 100644 --- a/misc/index.html +++ b/misc/index.html @@ -31,12 +31,13 @@