Merge "v.io/jiri: set default profiles appropriately."
tree: f5e031a6ec0d2464668ce4642c15b66f73904942
  1. bendroid/
  2. dashboard/
  3. data/
  4. godepcop/
  5. gologcop/
  6. internal/
  7. jiri-api/
  8. jiri-copyright/
  9. jiri-dockergo/
  10. jiri-go/
  11. jiri-goext/
  12. jiri-oncall/
  13. jiri-profile-v23/
  14. jiri-run/
  15. jiri-test/
  16. jiri-v23-profile/
  17. jiridoc/
  18. madb/
  19. mailer/
  20. oncall/
  21. postsubmit/
  22. presubmit/
  23. vbinary/
  24. vcloud/
  25. vjenkins/
  26. vkiosk/
  27. vmon/
  28. .gitignore
  29. .godepcop
  30. .jiriignore
  31. AUTHORS
  32. CONTRIBUTING.md
  33. CONTRIBUTORS
  34. LICENSE
  35. PATENTS
  36. README.md
  37. VERSION
README.md

This repository contains developer tools used to install and contribute to Vanadium.

For more information, see the installation and contributing instructions.

This repository is fetched and the tools are built as part of the Vanadium installation process for contributors.