aboutsummaryrefslogtreecommitdiffstats
path: root/manual/check-safety.sh
Commit message (Expand)AuthorAgeFilesLines
* Update copyright dates with scripts/update-copyrights.Joseph Myers2018-01-011-1/+1
* Update copyright dates with scripts/update-copyrights.Joseph Myers2017-01-011-1/+1
* Make shebang interpreter directives consistentMarko Myllynen2016-01-071-1/+1
* Update copyright dates with scripts/update-copyrights.Joseph Myers2016-01-041-1/+1
* Update copyright dates with scripts/update-copyrights.Joseph Myers2015-01-021-1/+1
* Require check-safety.sh to pass; wish for check that all fns are documentedAlexandre Oliva2014-11-211-0/+5
* * manual/check-safety.sh: New.Alexandre Oliva2014-02-011-0/+119