diff options
author | Eric Wong <e@80x24.org> | 2019-11-24 00:22:36 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-11-24 21:47:21 +0000 |
commit | 71bcf84313d2cd1b4948b62ec5c2ff6063096d3c (patch) | |
tree | 186f533d1993cc2bd86846494e84e3dfe23fa27a /xt | |
parent | fda0f1721b2dc1d2852388473f7da50ff230a3b6 (diff) | |
download | public-inbox-71bcf84313d2cd1b4948b62ec5c2ff6063096d3c.tar.gz |
It's more consistent with our current terminology and "PI_DIR" is already used to override ~/.public-inbox/ (which holds "config" and possibly other files which affect all inboxes for a particular user, but is not an inbox itself); so stop advertising GIANT_PI_DIR in skip messages.
Diffstat (limited to 'xt')
0 files changed, 0 insertions, 0 deletions