From 1f877df5f1f94290de2a47f923e3ac435621233e Mon Sep 17 00:00:00 2001 From: gumi Date: Tue, 26 May 2020 15:13:29 +0000 Subject: update the xml schema --- tools | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools b/tools index 25a3c3fe..a5d6818c 160000 --- a/tools +++ b/tools @@ -1 +1 @@ -Subproject commit 25a3c3fefae87d55da172f2aaef6a27987f439fd +Subproject commit a5d6818c8e4f68d9b7dd6272754a781c90be3f8a -- cgit v1.2.3-60-g2f50