Daiderd Jordan c8ddac7c76 Merge pull request #23864 from mimadrid/update/ripgrep-0.5.0 ... ripgrep: 0.4.0 -> 0.5.0		2017-03-15 21:42:23 +01:00
..
default.nix	Merge pull request #23864 from mimadrid/update/ripgrep-0.5.0	2017-03-15 21:42:23 +01:00