summaryrefslogtreecommitdiff
path: root/docs/index.html
diff options
context:
space:
mode:
authorskullY <skullydazed@gmail.com>2018-05-07 22:40:57 -0700
committerskullydazed <skullydazed@users.noreply.github.com>2018-05-07 22:46:26 -0700
commit303f425c6b4f9ab6056f863e515c71c9325f2bfa (patch)
tree150c9eba72bc40cf2d9a101d4a606156ea54cd0b /docs/index.html
parent9e5676650ec4ae71565201871c1aaf05e96a756b (diff)
Fix up info boxes.
Diffstat (limited to 'docs/index.html')
-rw-r--r--docs/index.html5
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/index.html b/docs/index.html
index c890b95ae7..7955e47c29 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -28,5 +28,10 @@
<script src="//unpkg.com/prismjs/components/prism-cpp.min.js"></script>
<script src="//unpkg.com/prismjs/components/prism-json.min.js"></script>
<script src="//unpkg.com/prismjs/components/prism-makefile.min.js"></script>
+ <script>
+ if (typeof navigator.serviceWorker !== 'undefined') {
+ navigator.serviceWorker.register('sw.js')
+ }
+ </script>
</body>
</html>