aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/proof
AgeCommit message (Collapse)AuthorFilesLines
2020-01-10Trivial changes: whitespace and modes.Dan Cross3-12/+12
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>
2006-04-21darwinrsc1-0/+1
2005-08-11silence various warningsrsc1-1/+0
2005-01-11os x changesrsc1-0/+2
2005-01-07stupid FreeBSD name conflictrsc1-0/+2
2005-01-04an old saddlersc7-0/+1559