From 3586e5d086e2bff8998ee138bdd47b994b223879 Mon Sep 17 00:00:00 2001 From: Filip Konieczny Date: Mon, 20 Oct 2025 04:20:36 +0200 Subject: [PATCH] Document sinol_total_score --- src/sinol_make/util.py | 1 + 1 file changed, 1 insertion(+) diff --git a/src/sinol_make/util.py b/src/sinol_make/util.py index 96a205cd..1a3f9af2 100644 --- a/src/sinol_make/util.py +++ b/src/sinol_make/util.py @@ -101,6 +101,7 @@ def save_config(config): "time_limit", "time_limits", "override_limits", + "sinol_total_score", "scores", { "key": "extra_compilation_files",