chiark / gitweb /
Warning reporting: Add a test of the warning suppression system
[subdirmk.git] / tests / filter / extract-doctests
2019-12-30 Ian Jacksontests/filter: Rename `doctest' -> `doctests' everywhere