Google Git
Sign in
vanadium / release.go.x.devtools / 3c765b8fb70ecb64dd1fad356cebd41065ca10d7
commit3c765b8fb70ecb64dd1fad356cebd41065ca10d7[log] [tgz]
authorCosmos Nicolaou <cnicolaou@google.com>Tue Apr 19 10:21:13 2016 -0700
committerCosmos Nicolaou <cnicolaou@google.com>Tue Apr 19 10:21:55 2016 -0700
treef86b4c212a20251c11157702a1e38e1cc447c5c9
parent0bf95d9a81b82b4c2e25053e235724dfaab8a400 [diff]
v.io/x/devtools: fix bug v.io/i/1300.

Change-Id: Id229c43c8de4e82c3dbc97fd5eb895c6f285ab8d
1 file changed
tree: f86b4c212a20251c11157702a1e38e1cc447c5c9
  1. bendroid/
  2. dashboard/
  3. data/
  4. godepcop/
  5. gologcop/
  6. internal/
  7. jiri-api/
  8. jiri-contributors/
  9. jiri-copyright/
  10. jiri-dockergo/
  11. jiri-go/
  12. jiri-goext/
  13. jiri-oncall/
  14. jiri-profile-v23/
  15. jiri-run/
  16. jiri-swift/
  17. jiri-test/
  18. jiridoc/
  19. mailer/
  20. oncall/
  21. postsubmit/
  22. presubmit/
  23. tooldata/
  24. tracify/
  25. vbinary/
  26. vcloud/
  27. vjenkins/
  28. vkiosk/
  29. vmon/
  30. .gitignore
  31. .godepcop
  32. .jiriignore
  33. AUTHORS
  34. CONTRIBUTING.md
  35. CONTRIBUTORS
  36. LICENSE
  37. PATENTS
  38. README.md
  39. 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.