aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/proof/main.c
AgeCommit message (Expand)AuthorFilesLines
2020-01-10Trivial changes: whitespace and modes.Dan Cross1-2/+2
2005-01-04an old saddlersc1-0/+226