diff options
| author | Will Dietz <w@wdtz.org> | 2018-03-01T19·24-0600 |
|---|---|---|
| committer | Will Dietz <w@wdtz.org> | 2018-03-01T19·25-0600 |
| commit | c577186f5916c90193368492f1c4180a1386febc (patch) | |
| tree | b64f9de3f1dc5dbc64b382083c7eae07b2ae3736 /doc/manual/manual.xml | |
| parent | 009cf9cd23e5b9198cf8977cca7c823b6b95ad5b (diff) | |
tests/search.sh: simplify, don't rely on consistent ordering
Diffstat (limited to 'doc/manual/manual.xml')
0 files changed, 0 insertions, 0 deletions