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