diff --git a/doc/html/comparison.html b/doc/html/comparison.html index 6b8fbc4d..d9ad281e 100644 --- a/doc/html/comparison.html +++ b/doc/html/comparison.html @@ -147,7 +147,8 @@ NONE