diff options
author | Eric Wong <e@80x24.org> | 2020-12-31 13:51:35 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2021-01-01 05:00:39 +0000 |
commit | 0d649fc15eab07976344a6ae32a946b2b1c32f4f (patch) | |
tree | 52e6637f5395ad65af8733d869d6fef5111f2ee5 /MANIFEST | |
parent | 73b40ff62a7ab305443a9fb81b16d2b10b15bf60 (diff) | |
download | public-inbox-0d649fc15eab07976344a6ae32a946b2b1c32f4f.tar.gz |
lei: rename "extinbox" => "external"
The words "extinbox" and "extindex" are too close and easy to confuse with the other. Rename "extinbox" to "external", since these could be IMAP, JMAP or other non-public-inbox search APIs. Link: https://public-inbox.org/meta/20201226112649.GB6226@dcvr/
Diffstat (limited to 'MANIFEST')
-rw-r--r-- | MANIFEST | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -164,7 +164,7 @@ lib/PublicInbox/Isearch.pm lib/PublicInbox/KQNotify.pm lib/PublicInbox/LEI.pm lib/PublicInbox/LeiDedupe.pm -lib/PublicInbox/LeiExtinbox.pm +lib/PublicInbox/LeiExternal.pm lib/PublicInbox/LeiSearch.pm lib/PublicInbox/LeiStore.pm lib/PublicInbox/LeiToMail.pm |