diff options
author | Eric Wong <e@80x24.org> | 2019-06-14 18:16:09 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-06-14 21:56:40 +0000 |
commit | 9126f3ca9f8ebb6b04afbba1e6f84e705f81e1b6 (patch) | |
tree | f456dcbb96473140ade1a32aae07038630a2a841 /lib/PublicInbox/Search.pm | |
parent | 609f38288ce413c186142225ef9225d31fcd908b (diff) | |
download | public-inbox-9126f3ca9f8ebb6b04afbba1e6f84e705f81e1b6.tar.gz |
Be consistent with our own terminology and use "epoch" for [0-9]+\.git repos. The term "partition" is going away entirely.
Diffstat (limited to 'lib/PublicInbox/Search.pm')
0 files changed, 0 insertions, 0 deletions