From 05638b47ffedc03b0182cf34f718fd88b24205ce Mon Sep 17 00:00:00 2001
From: Stefano Brilli <stefanobrilli@gmail.com>
Date: Tue, 31 Mar 2020 18:03:16 +0200
Subject: [PATCH] Remove old unused service worker file

---
 public/custom-service-worker.js | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 public/custom-service-worker.js

diff --git a/public/custom-service-worker.js b/public/custom-service-worker.js
deleted file mode 100644
index 6d1999e..0000000
--- a/public/custom-service-worker.js
+++ /dev/null
@@ -1,19 +0,0 @@
-// List of extra files to be precached for offline use.
-// WARNING: don't forget to update the revision string after updating these files.
-self.__precacheManifest = (self.__precacheManifest || []).concat([
-    {
-        "revision": "1",
-        "url": "/webminidisc/atracdenc.js"
-    },
-    {
-        "revision": "1",
-        "url": "/webminidisc/worker.min.js"
-    },
-    {
-        "revision": "1",
-        "url": "/webminidisc/ffmpeg-core.js"
-    },
-]);
-importScripts(
-    "/webminidisc/service-worker.js"
-);