diff options
author | Phil Jones <philj56@gmail.com> | 2023-07-16 11:43:26 +0100 |
---|---|---|
committer | Phil Jones <philj56@gmail.com> | 2023-07-16 11:43:26 +0100 |
commit | 548de1f8c63d4a088400e724a37d483656a2c645 (patch) | |
tree | b391f0b3567769baaefb5966ef6f8552f2b841f8 /src/matching.c | |
parent | 6060daaee163918f97af4db09bba9a7f9272d6c1 (diff) |
Fix --print-index when searching.
Diffstat (limited to 'src/matching.c')
0 files changed, 0 insertions, 0 deletions