Remove docker environment building tools
They have been moved into a separate repository, so just
keep a README.md file pointing to it.
Remove docker environment building tools
They have been moved into a separate repository, so just
keep a README.md file pointing to it.
dkazakov | Aug 13 2018, 2:20 PM |