diff --git a/doc/index.html b/doc/index.html index 83da794..52ed498 100644 --- a/doc/index.html +++ b/doc/index.html @@ -171,7 +171,8 @@ harmless.