diff --git a/doc/html/comparison.html b/doc/html/comparison.html index 153c76aa..2b0238d0 100644 --- a/doc/html/comparison.html +++ b/doc/html/comparison.html @@ -82,7 +82,7 @@