Google Git
Sign in
vanadium / release.go.x.devtools / 40aebf724ae1c712f8e3f7d1c0ec3553bbc9a20d
commit40aebf724ae1c712f8e3f7d1c0ec3553bbc9a20d[log] [tgz]
authorAlex Fandrianto <alexfandrianto@google.com>Wed Mar 23 15:00:29 2016 -0700
committerAlex Fandrianto <alexfandrianto@google.com>Wed Mar 23 23:34:01 2016 +0000
tree8302d198d0a8f3424f5cf48887c023e99dfee99a
parent6b6794ddd91b168f88519eaadd98f449bbcd2090 [diff]
x/devtools: Use mojodev instead of mojo-dev

The mojo dev profile was renamed from "mojo-dev" to "mojodev", so the
corresponding checks and comments should change too.

MultiPart: 1/3
Change-Id: I2fd1e6740a3c6924f1dbcbc17eee3bc338819a35
1 file changed
tree: 8302d198d0a8f3424f5cf48887c023e99dfee99a
  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. jiri-v23-profile/
  19. jiridoc/
  20. madb/
  21. mailer/
  22. oncall/
  23. postsubmit/
  24. presubmit/
  25. tooldata/
  26. tracify/
  27. vbinary/
  28. vcloud/
  29. vjenkins/
  30. vkiosk/
  31. vmon/
  32. .gitignore
  33. .godepcop
  34. .jiriignore
  35. AUTHORS
  36. CONTRIBUTING.md
  37. CONTRIBUTORS
  38. LICENSE
  39. PATENTS
  40. README.md
  41. 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.