diff options
Diffstat (limited to 'deploy')
| -rw-r--r-- | deploy/index.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/deploy/index.html b/deploy/index.html index c32aff638..a236de872 100644 --- a/deploy/index.html +++ b/deploy/index.html @@ -11,6 +11,7 @@ <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap.min.css" integrity="sha384-BVYiiSIFeK1dGmJRAkycuHAHRg32OmUcww7on3RYdg4Va+PmSTsz/K68vbdEjh4u" crossorigin="anonymous"> <script src="https://cdnjs.cloudflare.com/ajax/libs/typescript/3.3.1/typescript.min.js"></script> + <script> function getCookie(cname) { var name = cname + "="; |