projects / webi-installers / .git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5d614e) | patch
rg: remove 'R.I.P. grep'
authorAndrew Gallant <jamslam@gmail.com>
Wed, 16 Sep 2020 12:44:18 +0000 (08:44 -0400)
committerAndrew Gallant <jamslam@gmail.com>
Wed, 16 Sep 2020 12:44:18 +0000 (08:44 -0400)
commit51036a0917a1fadf20d18e90e9bd9ecf294b8f90
treee4b99e1bd0d61acbe2855714777686fd3b0408b2tree | snapshot
parentd5d614eba29085f09dea5b5b4e7d11ff187b1400commit | diff
rg: remove 'R.I.P. grep'

The "rip" in the name "ripgrep" is meant to mean "to rip through text."
Incidentally, its dual meaning never occurred to me until someone told
me after I had released it.

See also:
https://github.com/BurntSushi/ripgrep/blob/master/FAQ.md#intentcountsforsomething
rg/README.md diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.