make Result.usedByNonDoomedNode() more efficient
[sbp.git] / doc / jargon.txt
2005-12-12 adaminitial import