Clean-up of the docker tools for local dev.#1028
Merged
seanpmorgan merged 4 commits intotensorflow:masterfrom Feb 8, 2020
gabrieldemarmiesse:info
Merged
Clean-up of the docker tools for local dev.#1028seanpmorgan merged 4 commits intotensorflow:masterfrom gabrieldemarmiesse:info
seanpmorgan merged 4 commits intotensorflow:masterfrom
gabrieldemarmiesse:info
