From d5683fd8ab55219255be13554bbf29238fc1593b 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 @@