summaryrefslogtreecommitdiffstats
path: root/src/cmd/proof
Commit message (Collapse)AuthorAgeFilesLines
* Trivial changes: whitespace and modes.Dan Cross2020-01-103-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>
* darwinrsc2006-04-211-0/+1
|
* silence various warningsrsc2005-08-111-1/+0
|
* os x changesrsc2005-01-111-0/+2
|
* stupid FreeBSD name conflictrsc2005-01-071-0/+2
|
* an old saddlersc2005-01-047-0/+1559