aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/proof/main.c
AgeCommit message (Collapse)AuthorFilesLines
2020-01-10Trivial changes: whitespace and modes.Dan Cross1-2/+2
Remote whitespace at the ends of lines. Remove blank lines from the ends of files. Change modes on source files so that they are not executable. Signed-off-by: Dan Cross <cross@gajendra.net>
2005-01-04an old saddlersc1-0/+226