Commit Graph

3 Commits

Author SHA1 Message Date
LCD 47
8393a3c7a2 Cosmetic cleanup. 2017-09-15 21:04:16 +03:00
LCD 47
1d2f8d514a Formatting: folding. 2015-01-04 12:46:54 +02:00
LCD 47
ce89396808 Checker-specific logging.
New debug level 32, for logging tracing checkers.
New method checker.log().
Cleanup.
2014-10-06 22:19:24 +03:00