From 2169357c17fb6e8552af2ca69e80d8fc385aa664 Mon Sep 17 00:00:00 2001 From: Mitermayer Reis Date: Sun, 22 Oct 2017 02:10:15 -0700 Subject: [PATCH] Making sure playground can have shorter urls (#3063) * Making sure playground can haver shorter urls * Fixing linting * Including lz-string on the service worker --- website/pages/playground/index.html | 1 + website/static/playground.js | 15 ++++++++++----- website/static/service-worker.js | 1 + 3 files changed, 12 insertions(+), 5 deletions(-) diff --git a/website/pages/playground/index.html b/website/pages/playground/index.html index d5bff8b3..e1dbd285 100644 --- a/website/pages/playground/index.html +++ b/website/pages/playground/index.html @@ -38,6 +38,7 @@ +