From 0cfc82b88bf42ebe83a9c4ed15d6a140b29a12b7 Mon Sep 17 00:00:00 2001 From: Travis Bot Date: Mon, 15 Oct 2018 22:13:41 +0000 Subject: [PATCH] Deploy GitHub Pages --- deploy/index.html | 33 +++++++++------------------------ search/search_index.json | 2 +- sitemap.xml.gz | Bin 219 -> 219 bytes 3 files changed, 10 insertions(+), 25 deletions(-) diff --git a/deploy/index.html b/deploy/index.html index aea41feba..437896ac3 100644 --- a/deploy/index.html +++ b/deploy/index.html @@ -440,20 +440,13 @@
  • - - Generic Deployment + + Prerequisite Generic Deployment Command