From debe96d305817d44de8e43540731f17931da708c Mon Sep 17 00:00:00 2001 From: David Wu Date: Wed, 20 Dec 2017 02:20:47 +0100 Subject: [PATCH] build --- docs/index.html | 11 ++--------- 1 file changed, 2 insertions(+), 9 deletions(-) diff --git a/docs/index.html b/docs/index.html index ea0620ec6..9228ad082 100644 --- a/docs/index.html +++ b/docs/index.html @@ -23,14 +23,7 @@
@@ -42,7 +35,7 @@