mimadrid 56393d4471 ripgrep: 0.5.1 -> 0.5.2		2017-05-15 20:21:49 +02:00
..
default.nix	ripgrep: 0.5.1 -> 0.5.2	2017-05-15 20:21:49 +02:00