From c1c8af6706aefa37542f43f06c4a8ccda8fa170f Mon Sep 17 00:00:00 2001 From: Travis Bot Date: Thu, 17 May 2018 22:27:33 +0000 Subject: [PATCH] Deploy GitHub Pages --- deploy/index.html | 202 +++------------------------------------ search/search_index.json | 39 +++----- 2 files changed, 25 insertions(+), 216 deletions(-) diff --git a/deploy/index.html b/deploy/index.html index d737e0b1f..4eefe9238 100644 --- a/deploy/index.html +++ b/deploy/index.html @@ -386,22 +386,8 @@