From: François Fleuret <francois@fleuret.org>
Date: Mon, 23 Oct 2023 06:17:19 +0000 (+0200)
Subject: Update.
X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=71eeffe7e9e3b379fe2c91e833dbeb35e1cb7971;p=culture.git

Update.
---

diff --git a/main.py b/main.py
index f4e4f5c..3ce5916 100755
--- a/main.py
+++ b/main.py
@@ -160,7 +160,7 @@ parser.add_argument("--expr_result_max", type=int, default=99)
 parser.add_argument("--expr_input_file", type=str, default=None)
 
 ##############################
-# Misc
+# Mixing
 
 parser.add_argument("--mixing_hard", action="store_true", default=False)