aboutsummaryrefslogtreecommitdiff
path: root/manual/summary.pl
AgeCommit message (Expand)Author
2019-01-01Update copyright dates with scripts/update-copyrights.Joseph Myers
2018-01-01Update copyright dates with scripts/update-copyrights.Joseph Myers
2017-06-15manual: Replace summary.awk with summary.pl.Rical Jasan