Allow to disable ssh commands

Change-Id: I3498408eaa1f2bba54facaec0aed3f9a083c502a
4 files changed
tree: 29e21f8125e1a82f6aeadbcfac7425c967670f9e
  1. src/
  2. tools/
  3. .gitignore
  4. bazlets.bzl
  5. BUILD
  6. WORKSPACE