diff --git a/manual/index.html b/manual/index.html index 7b8b75a6..e53385dc 100644 --- a/manual/index.html +++ b/manual/index.html @@ -131,7 +131,7 @@