summaryrefslogtreecommitdiff
path: root/pr.pl
AgeCommit message (Expand)Author
2019-07-24Delete a few other no-longer relevant filesFrans Kaashoek
2009-07-12remove //DOC in the right placeRuss Cox
2006-09-08runoff changesrsc