diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-09-24T11·03+0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-24T11·03+0200 |
| commit | 42e4ea2b6dee6581a1f5e2a82e902eb8f1d83940 (patch) | |
| tree | 51d54ec5805e7aa030f11338e8ed5e8948a658d6 /Makefile.config.in | |
| parent | a48c2e3411298279b65cab69d1f40bc4fb6c1c94 (diff) | |
| parent | 0d72f4e0ca3e88f3ded66112a6b157e14c2724c4 (diff) | |
Merge pull request #2312 from dtzWill/fix/matched-names-should-still-print-version
search: include version for matches too!
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions