add killing of doomed nodes via Node.check()/Result.check() methods
authoradam <adam@megacz.com>
Mon, 26 Feb 2007 01:34:37 +0000 (20:34 -0500)
committeradam <adam@megacz.com>
Mon, 26 Feb 2007 01:34:37 +0000 (20:34 -0500)
darcs-hash:20070226013437-5007d-8b3860db0ef782cfcbc57d9b33d4fedca6db2075.gz


No differences found