Revision history [back]

Once you have done git clone to get the sources, you can use ̀git grep "some text"` to look efficiently for anything.

Once you have done git clone to get the sources, you can use ̀git git grep "some text"` text" to look efficiently for anything.