diff --git a/doc/index.html b/doc/index.html index 42dcc5c172..ae2c76e4cc 100644 --- a/doc/index.html +++ b/doc/index.html @@ -215,6 +215,10 @@ server.listen(1337, "127.0.0.1");