diff options
| author | Eric Wong <e@80x24.org> | 2019-10-28 10:45:17 +0000 |
|---|---|---|
| committer | Eric Wong <e@80x24.org> | 2019-10-30 08:48:10 +0000 |
| commit | ec294cdbc5392fdb136572dbcedb250798023703 (patch) | |
| tree | f08d674c2fa70a093c217ac4df77e38ef5257521 /lib/PublicInbox/Filter/Base.pm | |
| parent | bc6b44cd7feee7e83ef1dcf26092808f92f757d9 (diff) | |
| download | public-inbox-ec294cdbc5392fdb136572dbcedb250798023703.tar.gz | |
Use <foo|bar> since that seems to be the favored notation for required command args (taking a hint from git(1) manpage). While we're at it, remove the space after '<' for the redirect to match git.git coding style.
Diffstat (limited to 'lib/PublicInbox/Filter/Base.pm')
0 files changed, 0 insertions, 0 deletions