From 38509eeed138f18807d767a703414e0527548752 Mon Sep 17 00:00:00 2001 From: David Wu Date: Wed, 20 Dec 2017 01:48:30 +0100 Subject: [PATCH] build --- docs/index.html | 25 ++++++++++++------------- 1 file changed, 12 insertions(+), 13 deletions(-) diff --git a/docs/index.html b/docs/index.html index 92ec444ef..cb490fe35 100644 --- a/docs/index.html +++ b/docs/index.html @@ -23,22 +23,21 @@