Google Git
Sign in
vanadium / release.go.x.devtools / 14921968bacc2b2c5f92be3848f7eb5b6d92ac81
commit14921968bacc2b2c5f92be3848f7eb5b6d92ac81[log] [tgz]
authorJungho Ahn <jhahn@google.com>Fri Mar 04 01:12:49 2016 +0000
committerGerrit Code Review <noreply-gerritcodereview@google.com>Fri Mar 04 01:12:50 2016 +0000
tree655fee074b6b6a21c128856658665436732c1e7e
parent1f7ac454792ded44b6a4f8b4848453f9dfde5d81 [diff]
parent9f239b9186da8fcb95a9534c3271572ef3e84b06 [diff]
Merge "v23-profile-mojo: upgrade mojo version"
tree: 655fee074b6b6a21c128856658665436732c1e7e
  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-swift/
  16. jiri-test/
  17. jiri-v23-profile/
  18. jiridoc/
  19. madb/
  20. mailer/
  21. oncall/
  22. postsubmit/
  23. presubmit/
  24. vbinary/
  25. vcloud/
  26. vjenkins/
  27. vkiosk/
  28. vmon/
  29. .gitignore
  30. .godepcop
  31. .jiriignore
  32. AUTHORS
  33. CONTRIBUTING.md
  34. CONTRIBUTORS
  35. LICENSE
  36. PATENTS
  37. README.md
  38. 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.