diff --git a/doc/contents.html b/doc/contents.html index 18008a4..b529517 100644 --- a/doc/contents.html +++ b/doc/contents.html @@ -8,7 +8,7 @@