diff --git a/web/platforms/platforms.html b/web/platforms/platforms.html index 48742ebee7..7822cdd4c1 100644 --- a/web/platforms/platforms.html +++ b/web/platforms/platforms.html @@ -32,7 +32,7 @@ ported to essentially all sequential and parallel computers.