diff --git a/doc/html/comparison.html b/doc/html/comparison.html index 1b1a3fbd..6cb2a814 100644 --- a/doc/html/comparison.html +++ b/doc/html/comparison.html @@ -101,6 +101,9 @@