devtools: Change "v23" to "jiri" in gendoc script and comment.

Change-Id: I4f9cedab2db36de22917e9259612647f496817d6
2 files changed
tree: ad190927c4ebf7c737d61d4b1011c1f70300a272
  1. cmdline/
  2. dbutil/
  3. envvar/
  4. host/
  5. metadata/
  6. netconfig/
  7. netstate/
  8. set/
  9. textutil/
  10. toposort/
  11. vlog/
  12. .gitignore
  13. .godepcop
  14. AUTHORS
  15. CONTRIBUTING
  16. CONTRIBUTORS
  17. LICENSE
  18. PATENTS
  19. README.md
  20. VERSION
README.md

This repository contains general purpose libraries used by the Vanadium project. TEST