diff --git a/doc/html/goals.html b/doc/html/goals.html index 997fb6ad..1b0620f3 100644 --- a/doc/html/goals.html +++ b/doc/html/goals.html @@ -113,10 +113,10 @@