Revision history [back]
 | 1 | initial version |
Once you have done git clone to get the sources, you can use ̀git grep "some text"` to look efficiently for anything.
| | 2 | No.2 Revision |
Once you have done git clone to get the sources, you can use ̀git git grep "some text"` text" to look efficiently for anything.
