diff options
| author | Junegunn Choi <junegunn.c@gmail.com> | 2025-07-22 19:16:55 +0900 |
|---|---|---|
| committer | Junegunn Choi <junegunn.c@gmail.com> | 2025-07-22 19:16:55 +0900 |
| commit | 08027e7a79d49c7b1186a6e76415611d5b65b4e4 (patch) | |
| tree | abfe0a973b03182bf04667a5e5907636758103e5 /src/protector | |
| parent | ead302981cc9d9219e58c1517921e9f2d68a6b6e (diff) | |
| download | fzf-08027e7a79d49c7b1186a6e76415611d5b65b4e4.tar.gz | |
Fix --no-header-lines-border behavior
It should be different from --header-lines-border=none according to the
man page. It should merge two headers unlike the latter.
Diffstat (limited to 'src/protector')
0 files changed, 0 insertions, 0 deletions