tree d583e7f1e588d8d1b14ab38091d4ea0acc8cc50c
parent 0ab3d7d7364c599d3612214bf416e613bccafd7b
author David Ostrovsky <david@ostrovsky.org> 1401545611 +0200
committer David Ostrovsky <david@ostrovsky.org> 1403651793 +0200

Add gerrit_plugin() bucklet

Allow to build Gerrit plugins outside of the Gerrit tree.

Change-Id: I1ab917c3c39546a4d9996e6e39264959e9226ebe