aboutsummaryrefslogtreecommitdiff
path: root/manual/summary.pl
AgeCommit message (Expand)AuthorFilesLines
2018-01-01Update copyright dates with scripts/update-copyrights.Joseph Myers1-1/+1
2017-06-15manual: Replace summary.awk with summary.pl.Rical Jasan1-0/+403