diff --git a/collects/web-server/default-web-root/htdocs/index.html b/collects/web-server/default-web-root/htdocs/index.html index 4cff268bfb..b1ad866fa6 100644 --- a/collects/web-server/default-web-root/htdocs/index.html +++ b/collects/web-server/default-web-root/htdocs/index.html @@ -1,5 +1,6 @@
+