From a45adcace63b889a094055d11d99bf143b1a3f90 Mon Sep 17 00:00:00 2001 From: David Wu Date: Wed, 20 Dec 2017 01:56:48 +0100 Subject: [PATCH] build --- docs/index.html | 13 +++++-------- 1 file changed, 5 insertions(+), 8 deletions(-) diff --git a/docs/index.html b/docs/index.html index ea0620ec6..06a3a4995 100644 --- a/docs/index.html +++ b/docs/index.html @@ -23,13 +23,10 @@ @@ -42,7 +39,7 @@