chiark / gitweb /
tests/filter: Rename `doctest' -> `doctests' everywhere
[secnet.git] / tests / filter / extract-doctests
2019-12-30 Ian Jacksontests/filter: Rename `doctest' -> `doctests' everywhere