Mario Rodas 0c59458e44 bat: 0.12.1 -> 0.13.0 ... Changelog: https://github.com/sharkdp/bat/releases/tag/v0.13.0		2020-03-22 07:25:00 -05:00
..
default.nix	bat: 0.12.1 -> 0.13.0	2020-03-22 07:25:00 -05:00