diff --git a/extra/shell.html b/extra/shell.html index adf066d..7b17b90 100644 --- a/extra/shell.html +++ b/extra/shell.html @@ -178,184 +178,182 @@