tree 595cb358142d4a547c36ad0788e051687b4514c8
parent 19e3acaab15b7c944d4ed6615cbae10de30bd153
author Ivan Pilat <ivanpi@google.com> 1428551432 -0700
committer Ivan Pilat <ivanpi@google.com> 1428551449 -0700

TBR: playground: Fix Dockerfile for bin to devtools/bin move.

https://vanadium-review.googlesource.com/#/c/9511/

Change-Id: I731e760a8262a5df2cbc78c4d595b48ebedd6354