From 55c027a92e983cc91d2c1a72fe1dac52a1c5c3b2 Mon Sep 17 00:00:00 2001 From: klever1988 <56048681+klever1988@users.noreply.github.com> Date: Wed, 22 Jan 2020 14:04:29 +0800 Subject: [PATCH] Update lean.xml --- lean.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean.xml b/lean.xml index 3c05bce..b56eef4 100644 --- a/lean.xml +++ b/lean.xml @@ -14,7 +14,7 @@ - +