diff --git a/docs/html/index.html b/docs/html/index.html index 82db07c..f6278fb 100644 --- a/docs/html/index.html +++ b/docs/html/index.html @@ -187,8 +187,7 @@ function toggle_menu(name) {
-Pool | diff --git a/docs/html/mini/index.html b/docs/html/mini/index.html index d1c1712..c14cc85 100644 --- a/docs/html/mini/index.html +++ b/docs/html/mini/index.html @@ -187,8 +187,7 @@ function toggle_menu(name) { -
Pool |