sharkdp ad6e0a2581 Update man page

2018-09-12 22:00:28 +02:00

..

alternatives.md

Update alternatives.md

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

bat.1

Update man page

2018-09-12 22:00:28 +02:00

logo-header.svg

Update header

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