Ricardo M. Correia 096e8ab45f Merge pull request #21218 from mimadrid/update/ripgrep-0.3.2 ... ripgrep: 0.2.1 -> 0.3.2		2016-12-17 13:39:56 +01:00
..
default.nix	Merge pull request #21218 from mimadrid/update/ripgrep-0.3.2	2016-12-17 13:39:56 +01:00