Merge "doc: Make progdocs play nice with git" into 13

This commit is contained in:
Joshua Colp
2015-05-08 09:54:47 -05:00
committed by Gerrit Code Review
4 changed files with 17 additions and 8 deletions

File diff suppressed because it is too large Load Diff