| commit | 7a9bf5ee7a385e87ccba512bfb93b18800995835 | [log] [tgz] |
|---|---|---|
| author | Nicolas Lacasse <nlacasse@google.com> | Thu Sep 24 16:57:06 2015 -0700 |
| committer | Nicolas Lacasse <nlacasse@google.com> | Thu Sep 24 16:57:06 2015 -0700 |
| tree | 9c169d17f024bac0863d05df06ac60563315b16d | |
| parent | e7f1dcfd5d169ce784b4e474254e4a4a249993f7 [diff] |
TBR: playground: Replace "v23" (the tool name) with "jiri". Change-Id: I004bb95b192e345e0d068c3bf23c2c4a2cb973c3 MultiPart: 14/17
This repository contains the Vanadium project playground.