diff options
author | Christian Hesse <mail@eworm.de> | 2020-04-03 16:45:28 +0200 |
---|---|---|
committer | Christian Hesse <mail@eworm.de> | 2020-04-03 16:59:10 +0200 |
commit | 596fb5f83582b982c0ec336c8cb65e8b76665ba1 (patch) | |
tree | 10d7f2673cffb94bb91242b1235bb16e92cf5ccc /super-mario-theme | |
parent | 7cdeb9185e10ed35b5590087e035d29626eacb08 (diff) |
global-functions: $CertificateDownload: use $LogPrintExit
Diffstat (limited to 'super-mario-theme')
0 files changed, 0 insertions, 0 deletions