fix request for un-needed file

espruino · May 30, 2017 · 43f543d · 43f543d
1 parent ae624fd
commit 43f543d
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/serviceworker.js b/serviceworker.js
@@ -21,7 +21,6 @@ const CACHED_RESOURCES = [
   'EspruinoTools/libs/esprima/esprima.js',
   'EspruinoTools/libs/targz.js',
   'EspruinoTools/libs/utf8.js',
-  'EspruinoTools/bin/espruino-cli.js',
   'EspruinoTools/core/terminal.js',
   'EspruinoTools/core/serial_nodeserial.js',
   'EspruinoTools/core/config.js',
@@ -265,4 +264,4 @@ self.addEventListener('activate', function(event) {
       );
     })
   );
-});
+});