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
1 file changed
tree: 6b7400bb3b75194a3956f2cb0789024e4c3db409
  1. client/
  2. go/
  3. .gitignore
  4. AUTHORS
  5. CONTRIBUTING
  6. CONTRIBUTORS
  7. LICENSE
  8. PATENTS
  9. README.md
  10. VERSION
README.md

This repository contains the Vanadium project playground.