Mario Rodas 8772cee9f9 ripgrep: 12.0.1 -> 12.1.0 ... Changelog: https://github.com/BurntSushi/ripgrep/releases/tag/12.1.0		2020-05-09 16:20:00 -05:00
..
default.nix	ripgrep: 12.0.1 -> 12.1.0	2020-05-09 16:20:00 -05:00