From 93dca117844e134fc39609f73c0de9068aa5d1e8 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Fran=C3=A7ois=20Fleuret?= Date: Tue, 23 Jul 2024 07:09:33 +0200 Subject: [PATCH] Update. --- main.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.py b/main.py index bad4222..4a0c1f5 100755 --- a/main.py +++ b/main.py @@ -238,7 +238,7 @@ def log_string(s): ###################################################################### -# Create a time-stamped archive with the source code +# Create a time-stamped archive of the source code with open("this_run.sh", "w") as f: f.write(f"{' '.join(sys.argv)}\n") -- 2.20.1