diff options
author | Will Dietz <w@wdtz.org> | 2018-06-26 13:06:46 -0500 |
---|---|---|
committer | Will Dietz <w@wdtz.org> | 2018-10-29 08:45:04 -0500 |
commit | 9f998096d23eab433f47d8dc1ad5eb1e2ff4b667 (patch) | |
tree | 8dbcd0e3facc09252387116c3dcb98caf89ea9dd /Makefile.config.in | |
parent | 3d974d31facefe8eaf59af56b0187e6a63fdd0cc (diff) |
repl: complete if all matches share prefix
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions