log

age author description
Thu, 18 Jan 2018 12:55:19 +0100 Joerg Sonnenberger blackbox: if --debug is used, also trace ui.debug() calls