git: add -P as a short option for --no-pager
[git] / Documentation / technical / api-grep.txt
1 grep API
2 ========
3
4 Talk about <grep.h>, things like:
5
6 * grep_buffer()
7
8 (JC)