diff --git a/tools/ajaxterm/ajaxterm.html b/tools/ajaxterm/ajaxterm.html index 9edf759679..fdd6955584 100644 --- a/tools/ajaxterm/ajaxterm.html +++ b/tools/ajaxterm/ajaxterm.html @@ -8,6 +8,7 @@