diff --git a/doc/comparison.html b/doc/comparison.html index 8120f823..93071c2d 100644 --- a/doc/comparison.html +++ b/doc/comparison.html @@ -187,7 +187,7 @@ YES