| commit | 734afe3dd417b971eeb9b8e1552bcaa7fb487d1c | [log] [tgz] |
|---|---|---|
| author | Ivan Pilat <ivanpi@google.com> | Wed Apr 08 20:50:32 2015 -0700 |
| committer | Ivan Pilat <ivanpi@google.com> | Wed Apr 08 20:50:49 2015 -0700 |
| tree | 595cb358142d4a547c36ad0788e051687b4514c8 | |
| parent | 19e3acaab15b7c944d4ed6615cbae10de30bd153 [diff] |
TBR: playground: Fix Dockerfile for bin to devtools/bin move. https://vanadium-review.googlesource.com/#/c/9511/ Change-Id: I731e760a8262a5df2cbc78c4d595b48ebedd6354