Add SSH port number to clone URL

This allows for the SSH port number to be included on the clone
URL, since it most frequently is not the default SSH port.

Change-Id: I93526236336c4532afe2c20367286362df9ef66e
1 file changed
tree: 6e49f4af1cfeadeae7f5d4a79a406e32dba470ca
  1. src/
  2. .gitignore
  3. LICENSE
  4. pom.xml