Commit Graph

2 Commits

Author SHA1 Message Date
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