tree 75b4334a79377aa42ce76b3310783ff007db776b
parent 9999e705a2defa490b65a33a51d57eb7f34b0194
author Nicolas Lacasse <nlacasse@google.com> 1443139025 -0700
committer Nicolas Lacasse <nlacasse@google.com> 1443139025 -0700

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

Change-Id: If5ae00e09842f4cad011c94d606a68db51c3403f
MultiPart: 2/17