diff options
| author | skullY <skullydazed@gmail.com> | 2018-05-07 22:40:57 -0700 |
|---|---|---|
| committer | skullydazed <skullydazed@users.noreply.github.com> | 2018-05-07 22:46:26 -0700 |
| commit | 303f425c6b4f9ab6056f863e515c71c9325f2bfa (patch) | |
| tree | 150c9eba72bc40cf2d9a101d4a606156ea54cd0b /docs/index.html | |
| parent | 9e5676650ec4ae71565201871c1aaf05e96a756b (diff) | |
Fix up info boxes.
Diffstat (limited to 'docs/index.html')
| -rw-r--r-- | docs/index.html | 5 |
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> |