diff --git a/doc/index.html b/doc/index.html index bceb370..ac1d6aa 100644 --- a/doc/index.html +++ b/doc/index.html @@ -40,7 +40,7 @@
Loading REPL...
This may take a few seconds