From 2d5cd359e56f47ce594acab8cf210dae04027acf Mon Sep 17 00:00:00 2001 From: Alex Rothberg Date: Sat, 10 Feb 2018 14:46:37 -0500 Subject: [PATCH] dead code --- notebook/static/terminal/js/main.js | 1 - 1 file changed, 1 deletion(-) diff --git a/notebook/static/terminal/js/main.js b/notebook/static/terminal/js/main.js index e30f86b52..b71c5edeb 100644 --- a/notebook/static/terminal/js/main.js +++ b/notebook/static/terminal/js/main.js @@ -40,7 +40,6 @@ requirejs([ page.show_header(); - // var size = calculate_size(); var terminal = terminado.make_terminal($("#terminado-container")[0], ws_url); page.show_site();