diff --git a/domain-coloring/index.html b/domain-coloring/index.html index e47d91c7..2ce9e294 100644 --- a/domain-coloring/index.html +++ b/domain-coloring/index.html @@ -138,7 +138,7 @@