From e57d0a3ede10ac28eb77b9ff7b096c396c97114e Mon Sep 17 00:00:00 2001 From: wsdjeg Date: Tue, 3 Jul 2018 22:09:43 +0800 Subject: [PATCH] Use gitment --- docs/_layouts/default.html | 29 +++++++++++++++-------------- 1 file changed, 15 insertions(+), 14 deletions(-) diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index fe8211f29..a1c92e393 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -106,20 +106,21 @@ {% if page.comments %} -
- - +
+ + + {% endif %}