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