]> Sergey Matveev's repositories - public-inbox.git/commit
projects / public-inbox.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: f721ea5) | patch
lei edit-search: command to tweak search parameters
authorEric Wong <e@80x24.org>
Tue, 20 Apr 2021 07:16:55 +0000 (07:16 +0000)
committerEric Wong <e@80x24.org>
Tue, 20 Apr 2021 19:02:49 +0000 (19:02 +0000)
commit4ea40d3f60bdf8e2a8b04f99d8e308309f2748cb
tree4bff17b083d3cdc458882dfd701bff73e6651156tree
parentf721ea54d4d3742136a60e768ada95363ec4eaafcommit | diff
lei edit-search: command to tweak search parameters

This may be useful for users to tweak search parameters.
This command is also the reason lei.saved-search is a git-config
file rather than JSON.
MANIFEST diff | blob | history
lib/PublicInbox/LEI.pm diff | blob | history
lib/PublicInbox/LeiEditSearch.pm [new file with mode: 0644] blob
My patches to https://public-inbox.org/public-inbox.git