From 1b955c5913a290e72b263a83b9ec28414ff3d5aa Mon Sep 17 00:00:00 2001 From: Baoshuo Date: Thu, 22 Sep 2022 10:26:16 +0800 Subject: [PATCH] feat: allow to use more builtin checkers --- web/app/controllers/problem_data_manage.php | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/web/app/controllers/problem_data_manage.php b/web/app/controllers/problem_data_manage.php index d87d699..f213871 100644 --- a/web/app/controllers/problem_data_manage.php +++ b/web/app/controllers/problem_data_manage.php @@ -755,10 +755,16 @@ EOD