K 10 svn:author V 6 dteske K 8 svn:date V 27 2012-12-28T23:49:17.770383Z K 7 svn:log V 157 Allow debug output to be logged to a file (set $debugFile to target pathname) or both stdout and a file (precede $debugFile pathname with a plus-sign, `+'). END