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