tree e72428e0a0f54bbf22f659a4c9b97e16503fb77d
parent 5da554f294a062c5c469d0a60b6f2ce6a0b3f669
author Shawn O. Pearce <sop@google.com> 1240080273 -0700
committer Shawn O. Pearce <sop@google.com> 1240080273 -0700

Clarify the option section header in 'repo help grep'

Signed-off-by: Shawn O. Pearce <sop@google.com>