From e986cd041922f9db40345edf1c91ff1c8059aea7 Mon Sep 17 00:00:00 2001 From: klever1988 <56048681+klever1988@users.noreply.github.com> Date: Wed, 22 Jan 2020 23:45:25 +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 b56eef4..b3ad402 100644 --- a/lean.xml +++ b/lean.xml @@ -3,7 +3,7 @@ - +