home · contact · privacy
Revert erroneous removal of sys_exit.
authorChristian Heller <c.heller@plomlompom.de>
Wed, 24 Sep 2025 13:45:03 +0000 (15:45 +0200)
committerChristian Heller <c.heller@plomlompom.de>
Wed, 24 Sep 2025 13:45:03 +0000 (15:45 +0200)
commit39dc93e3e5da67fb5d773c84f07dffaba30aed65
tree1d7c4602388f47abb77280ec856b3b7a810d9dfb
parent452a359102eb1bd932ac44cbd365091c2a0c66d0
Revert erroneous removal of sys_exit.
src/run.py