repo 1.13.1

1. b8f7bb0 update markdown/help header format by Mike Frysinger · 6 years ago
2. 8f62fb7 Tidy up code formatting a bit more by David Pursehouse · 12 years ago
3. cecd1d8 Change print statements to work in python3 by Sarah Owens · 12 years ago
4. 1d947b3 Even more coding style cleanup by David Pursehouse · 12 years ago
5. e15c65a Remove unused imports by David Pursehouse · 12 years ago
6. feb39d6 Fix format string bugs in grep by Sebastian Schmidt · 14 years ago v1.6.9.8
7. f0d4c36 grep: Only use --color on git 1.6.3 and later by Shawn O. Pearce · 15 years ago
8. 50fa1ac Clarify the option section header in 'repo help grep' by Shawn O. Pearce · 15 years ago
9. b812a36 Add 'repo grep' to support searching all projects by Shawn O. Pearce · 15 years ago v1.6.5