diff install.py @ 457:3efc67540556

Use ripgrep first if possible, then ag.
author Ludovic Chabant <ludovic@chabant.com>
date Wed, 03 Apr 2019 15:59:22 -0700
parents 1172b8484c68
children 3b9394a0a58b
line wrap: on
line diff