Merge "Extend Gerrit's top menu with plugin-owned entry"
tree: a3ca378cc00b4c31eac17e2cd3d41e178d5d6c47
  1. src/
  2. .gitignore
  3. BUCK
  4. LICENSE
  5. pom.xml