From c15abfcef98661bc06c41e9fa776a138d9e9cf59 Mon Sep 17 00:00:00 2001 From: chriseth Date: Wed, 22 Jul 2015 17:33:30 +0200 Subject: [PATCH] Remove memory file, remove theme. --- index.html | 13 ++----------- libs/theme-monokai.js | 1 - 2 files changed, 2 insertions(+), 12 deletions(-) delete mode 100644 libs/theme-monokai.js diff --git a/index.html b/index.html index 16ddc021a9..061dbf9320 100644 --- a/index.html +++ b/index.html @@ -156,24 +156,16 @@ enable the debug console (Ctrl+Shift+i) and reload.