diff options
| author |  Christian Hesse <mail@eworm.de> | 2021-06-23 10:56:30 +0200 |
|---|---|---|
| committer | Christian Hesse <mail@eworm.de> | 2021-06-23 15:15:19 +0200 |
| commit | f26b3da34224a6b4827f785ab82b1e9eaa40f021 (patch) | |
| tree | 2d856f04a4c3931c20122801c1ab5f4dde26b116 /doc/super-mario-theme.md | |
| parent | cd0398acf9ccfcd488f0b8e9044f9789368937a1 (diff) | |
lease-script: use $LogPrintExit2
This will never print to terminal, nevertheless we want proper
log with script name in prefix.
Diffstat (limited to 'doc/super-mario-theme.md')
0 files changed, 0 insertions, 0 deletions