Fix linting (#403)

2020-01-17 00:06:19 +02:00 · 2020-01-17 00:06:19 +02:00 · 4234cd849c
commit 4234cd849c
parent 86eadf379d
1 changed files with 4 additions and 4 deletions
--- a/public/index.html
+++ b/public/index.html
@ -58,12 +58,12 @@
      src="https://www.googletagmanager.com/gtag/js?id=UA-387204-13"
    ></script>
    <script>
-      window.dataLayer = window.dataLayer || []
+      window.dataLayer = window.dataLayer || [];
      function gtag() {
-        dataLayer.push(arguments)
+        dataLayer.push(arguments);
      }
-      gtag("js", new Date())
-      gtag("config", "UA-387204-13")
+      gtag("js", new Date());
+      gtag("config", "UA-387204-13");
    </script>
  </head>