chiark / gitweb /
An option to enable a debugging mode for the BFS.