invalidate web.js cache

TimNN · TimNN · commit d20f6d6c3c28 · 2016-12-16T13:08:34.000+01:00
diff --git a/static/web.html b/static/web.html
@@ -18,7 +18,7 @@
                 integrity="sha512-ZdrBduTZxDAOqGKxKVuFtIVU0wD82q0HXnUEj8/KBHZ9DbQuuAjfMZ7yyBnh3vzkOtMQex9jj8EuypRD+KGNSA=="
                 crossorigin="anonymous"
                 charset="utf-8"></script>
-        <script src="web.js?12"></script>
+        <script src="web.js?13"></script>
     </head>
     <body>
         <form id="control">
