projects
/
culture.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
28538af
)
Update.
author
François Fleuret
<francois@fleuret.org>
Tue, 23 Jul 2024 05:09:33 +0000
(07:09 +0200)
committer
François Fleuret
<francois@fleuret.org>
Tue, 23 Jul 2024 05:09:33 +0000
(07:09 +0200)
main.py
patch
|
blob
|
history
diff --git
a/main.py
b/main.py
index
bad4222
..
4a0c1f5
100755
(executable)
--- 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")