fzf/man
Junegunn Choi d9b1211191
Add more --border options; default changed to "rounded"
--border option now takes an optional argument that defines the style

  - rounded (new default)
  - sharp
  - horizontal (previous default)
2020-03-05 20:56:15 +09:00
..
man1 Add more --border options; default changed to "rounded" 2020-03-05 20:56:15 +09:00