diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 15:02:22 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 15:02:22 +0200 |
| commit | ea75147f0fe10e947139f424fc08179a31ebfa33 (patch) | |
| tree | b84ef5e3ab34ffa698c9aa3f2a11c6c090d1b1e9 /scripts/mumi.in | |
| parent | af553d028b7f81d7cb8fcbcf5c289ea4da186a31 (diff) | |
messages: Use xapian search.
Diffstat (limited to 'scripts/mumi.in')
0 files changed, 0 insertions, 0 deletions