diff options
author | Christian Hesse <mail@eworm.de> | 2024-03-08 11:09:22 +0100 |
---|---|---|
committer | Christian Hesse <mail@eworm.de> | 2024-03-12 20:37:57 +0100 |
commit | 19802c0b6977f9467fada4ace3cab017dd98964b (patch) | |
tree | f9806fa09445857a2e8d6e89009d43dde55621a2 /doc/super-mario-theme.md | |
parent | 76f65c13d77759321f128035bd1ce4aa9b2cec46 (diff) |
global-functions: $LogPrintOnce: drop support for exit
This is not widely adopted or used, so let's just drop it - no
compatibility.
Diffstat (limited to 'doc/super-mario-theme.md')
0 files changed, 0 insertions, 0 deletions