make Result.usedByNonDoomedNode() more efficient
authoradam <adam@megacz.com>
Mon, 26 Feb 2007 03:18:16 +0000 (22:18 -0500)
committeradam <adam@megacz.com>
Mon, 26 Feb 2007 03:18:16 +0000 (22:18 -0500)
darcs-hash:20070226031816-5007d-707b2ef2091a7fc7cefaee5ebd132d8c5a06dd0c.gz


No differences found