diff options
author | Christian Hesse <mail@eworm.de> | 2020-04-03 17:18:05 +0200 |
---|---|---|
committer | Christian Hesse <mail@eworm.de> | 2020-04-03 17:18:05 +0200 |
commit | d2b1f036ca79cfc8da0b27ff7037418bb5862d08 (patch) | |
tree | b0ec77b03ffc29982949dd689615ebf96bfa8908 /doc/super-mario-theme.md | |
parent | 004569045997f8a425137d0205790c94707b8930 (diff) |
update-gre-address: use $LogPrintExit
Diffstat (limited to 'doc/super-mario-theme.md')
0 files changed, 0 insertions, 0 deletions