tree db961444059bf4dfc0f2bc2338c709018306c4c7
parent 9db4bc72677aff59cc620f1fc21ccf0f020efa2d
author David Ostrovsky <david@ostrovsky.org> 1380176354 +0200
committer David Ostrovsky <david@ostrovsky.org> 1380480123 +0200

Extend Gerrit's top menu with plugin-owned entry

Change-Id: I1d539ea70b603f015ed1c75c527cb06f3c422cc8