diff --git a/doc/comparison.html b/doc/comparison.html index 5438fbb0..d045581f 100644 --- a/doc/comparison.html +++ b/doc/comparison.html @@ -60,7 +60,7 @@