chiark / gitweb /
doctests: Allow parenthetical comments as an expansion RHS
[subdirmk.git] / tests / filter / extract-doctests
2019-12-30 Ian Jacksondoctests: Allow parenthetical comments as an expansion RHS
2019-12-30 Ian Jacksontests/filter: Rename `doctest' -> `doctests' everywhere