diff --git a/doc/comparison.html b/doc/comparison.html index acf67d30..962be390 100644 --- a/doc/comparison.html +++ b/doc/comparison.html @@ -82,7 +82,7 @@