aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/proof/mkfile
AgeCommit message (Expand)AuthorFilesLines
2005-01-04an old saddlersc1-0/+14