diff --git a/src/terminal.html b/src/terminal.html index afafe1c52..19676d39f 100644 --- a/src/terminal.html +++ b/src/terminal.html @@ -161,7 +161,7 @@