diff options
author | Derrick Stolee <derrickstolee@github.com> | 2022-03-22 17:28:35 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-03-23 13:13:17 -0700 |
commit | cc910442560e606546a328375c1394a982dfe8a6 (patch) | |
tree | b444b0f4cfeb85959a2014f2f7eda1344b566b44 /Documentation/git-grep.txt | |
parent | The thirteenth batch (diff) | |
download | tgif-cc910442560e606546a328375c1394a982dfe8a6.tar.xz |
list-objects-filter: remove CL_ARG__FILTER
We have established the command-line interface for the --[no-]filter
options for a while now, so we do not need a helper to make this
editable in the future.
Signed-off-by: Derrick Stolee <derrickstolee@github.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-grep.txt')
0 files changed, 0 insertions, 0 deletions