tree 9c169d17f024bac0863d05df06ac60563315b16d
parent e7f1dcfd5d169ce784b4e474254e4a4a249993f7
author Nicolas Lacasse <nlacasse@google.com> 1443139026 -0700
committer Nicolas Lacasse <nlacasse@google.com> 1443139026 -0700

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

Change-Id: I004bb95b192e345e0d068c3bf23c2c4a2cb973c3
MultiPart: 14/17