mirrors
/
webminidisc
mirror of https://github.com/cybercase/webminidisc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update service worker revision

This commit is contained in:
Stefano Brilli 2020-08-22 11:51:12 +02:00
parent 8320fda041
commit 7cdf47d42c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
public/extra-service-worker.js
View File

@ -1,6 +1,6 @@
// List of extra files to be precached for offline use. // List of extra files to be precached for offline use.
// WARNING: don't forget to update the revision before deploy // WARNING: don't forget to update the revision before deploy
var revision = "8"; var revision = "9";
self.__precacheManifest = (self.__precacheManifest || []).concat([ self.__precacheManifest = (self.__precacheManifest || []).concat([
{ {
"revision": revision, "revision": revision,