sharkdp 931c6e9414 Update man page

2018-10-17 23:13:50 +02:00

..

alternatives.md

Update alternatives.md

2018-09-05 22:01:42 +02:00

bat.1

Update man page

2018-10-17 23:13:50 +02:00

logo-header.svg

Update header

2018-05-30 20:54:46 +02:00