aboutsummaryrefslogtreecommitdiff
path: root/deploy
diff options
context:
space:
mode:
authortschicke-brown <tyler_schicke@brown.edu>2019-06-26 22:39:33 -0400
committerGitHub <noreply@github.com>2019-06-26 22:39:33 -0400
commit79345d459a10de1a610bbeb62b503f05b42c1482 (patch)
treed5fb2629fd57b16bcf1649cb5ce0093065e80bfd /deploy
parent68a71ec1af52e1e23374c2062c9f809e5fc905d6 (diff)
parent212c8be0d974a76246193303408d647896ec232c (diff)
Merge pull request #169 from browngraphicslab/searchUI
Basic searching
Diffstat (limited to 'deploy')
-rw-r--r--deploy/index.html1
1 files changed, 1 insertions, 0 deletions
diff --git a/deploy/index.html b/deploy/index.html
index 532b995f8..f4a019b71 100644
--- a/deploy/index.html
+++ b/deploy/index.html
@@ -6,6 +6,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 src="https://rawgithub.com/juliangarnier/anime/master/anime.min.js"></script>
</head>
<body>