tree 6b7400bb3b75194a3956f2cb0789024e4c3db409
parent c688c469cb3e581448affd44cd4f111dc592b3d3
author Todd Wang <toddw@google.com> 1442023158 -0700
committer Todd Wang <toddw@google.com> 1442023158 -0700

TBR: playground: devtools: Fix up remaining open-sourcing issues.

Also, add c header and source support to jiri-copyright.

MultiPart: 4/5

Change-Id: I05693d1bb322583495947e4519536d0e351230c7