From fa077662c11b64bd6572aa0bbfe43a9ca6022d75 Mon Sep 17 00:00:00 2001 From: Simon Hausmann Date: Tue, 3 Nov 2020 10:14:56 +0100 Subject: [PATCH] Remove stray debug output --- tools/online_editor/index.ts | 1 - 1 file changed, 1 deletion(-) diff --git a/tools/online_editor/index.ts b/tools/online_editor/index.ts index 13cfb89a5..71ee21edc 100644 --- a/tools/online_editor/index.ts +++ b/tools/online_editor/index.ts @@ -189,7 +189,6 @@ async function render_or_error(source: string, base_url: string, div: HTMLDivEle let u = new URL(file_name, base_url); return u.toString(); }, async (url: string): Promise => { - console.log("ERR", url); let model_and_state = editor_documents.get(url); if (model_and_state === undefined) { const response = await fetch(url);