aboutsummaryrefslogtreecommitdiff
path: root/manual/check-safety.sh
AgeCommit message (Expand)Author
2020-01-01Update copyright dates with scripts/update-copyrights.Joseph Myers
2019-09-07Prefer https to http for gnu.org and fsf.org URLsPaul Eggert
2019-01-01Update copyright dates with scripts/update-copyrights.Joseph Myers
2018-01-01Update copyright dates with scripts/update-copyrights.Joseph Myers
2017-01-01Update copyright dates with scripts/update-copyrights.Joseph Myers
2016-01-07Make shebang interpreter directives consistentMarko Myllynen
2016-01-04Update copyright dates with scripts/update-copyrights.Joseph Myers
2015-01-02Update copyright dates with scripts/update-copyrights.Joseph Myers
2014-11-21Require check-safety.sh to pass; wish for check that all fns are documentedAlexandre Oliva
2014-02-01* manual/check-safety.sh: New.Alexandre Oliva