madb: remove from the devtools repo

The madb tool is now moved to release.projects.madb repo.

Change-Id: Icf60e4fdd4d37bec7ad3f9d41ad82aa50ae78ab5
54 files changed
tree: b2361047c0895efd5af100aa292d509eb8f941c3
  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. mailer/
  21. oncall/
  22. postsubmit/
  23. presubmit/
  24. tooldata/
  25. tracify/
  26. vbinary/
  27. vcloud/
  28. vjenkins/
  29. vkiosk/
  30. vmon/
  31. .gitignore
  32. .godepcop
  33. .jiriignore
  34. AUTHORS
  35. CONTRIBUTING.md
  36. CONTRIBUTORS
  37. LICENSE
  38. PATENTS
  39. README.md
  40. 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.