chiark / gitweb /
Warnings: Sort occurrences properly in local+global warnings
[subdirmk.git] / tests / filter / extract-doctests
2019-12-30 Ian Jacksontests/filter: Rename `doctest' -> `doctests' everywhere