Extend Gerrit's top menu with plugin-owned entry

Change-Id: I1d539ea70b603f015ed1c75c527cb06f3c422cc8
2 files changed
tree: db961444059bf4dfc0f2bc2338c709018306c4c7
  1. src/
  2. .gitignore
  3. BUCK
  4. LICENSE
  5. pom.xml