Andrew's git / gitweb.git / Documentation/technical/api-grep.txt
?
Documentation / technical / api-grep.txton commit Add url.<base>.pushInsteadOf: URL rewriting for push only (1c2eafb)
   1grep API
   2========
   3
   4Talk about <grep.h>, things like:
   5
   6* grep_buffer()
   7
   8(JC)