remove docker-deps.sh
emaxerrno opened this issue · comments
Alexander Gallego commented
after the removal of bazel & cleanup of the build system, docker-deps.sh is no longer needed.
Alexander Gallego commented
we should have all the deps install-deps.sh