Merge "Doc: remoteNameStyle might result in a repo name clashes" into stable-3.2
tree: 1e9444da7869ce5294bd51d2ad6a6b3c639e455b
  1. .settings/
  2. src/
  3. .gitignore
  4. .mailmap
  5. BUILD
  6. LICENSE