TBR: mojo.shared: Replace "v23" (the tool name) with "jiri".

MultiPart: 9/17
Change-Id: I380564228357ac6f48d91bd152b4af9b26c66d5d
1 file changed
tree: 83d6e1ce381e95d7eda8fa8b1afc322e4af6873e
  1. .gitignore
  2. AUTHORS
  3. CONTRIBUTING
  4. CONTRIBUTORS
  5. LICENSE
  6. mojo.mk
  7. PATENTS
  8. VERSION