From 09fb24c03d89ecdc8edced86b9a90e573cc0912f Mon Sep 17 00:00:00 2001 From: Steven Kalt Date: Fri, 6 Dec 2019 22:28:08 -0500 Subject: [PATCH] add encoding to web_ui.html (#504) addressing #503 . --- cli/src/web_ui.html | 1 + 1 file changed, 1 insertion(+) diff --git a/cli/src/web_ui.html b/cli/src/web_ui.html index 093b09ba..45dd5db0 100644 --- a/cli/src/web_ui.html +++ b/cli/src/web_ui.html @@ -1,4 +1,5 @@ + tree-sitter THE_LANGUAGE_NAME