tree ad190927c4ebf7c737d61d4b1011c1f70300a272
parent 77a37cedbb50f856598ef5d7a411102141da1cc5
author Nicolas Lacasse <nlacasse@google.com> 1442433683 -0700
committer Nicolas Lacasse <nlacasse@google.com> 1442433683 -0700

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

Change-Id: I4f9cedab2db36de22917e9259612647f496817d6