diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-12-22 23:26:58 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-12-22 23:26:58 -0700 |
| commit | 1ba48229420ac28152f87d27a77d0980d79ff1a9 (patch) | |
| tree | 8ace655e9c021477ac10025bb26feb6ca2b228f2 /man/CMakeLists.txt | |
| parent | 663a36d57af49f3c91b69bde29533db47a30d870 (diff) | |
spec_tests.py: make --dump-tests sensitive to --pattern, --number.
Closes #249 in a slightly different way.
Diffstat (limited to 'man/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions