tree 9fe0591874b95300e6ebd522e5b5fceb79ffcc21
parent 8a7c906e6696496f9774d94532a810335d4cc2fd
author Björn Pedersen <bjoern.pedersen@frm2.tum.de> 1466437395 +0200
committer Björn Pedersen <bjoern.pedersen@frm2.tum.de> 1466437395 +0200

TEST: fix jgit target

Found by buck targets aborting if plugin is in tree.

Change-Id: If93890086608780df0b6bbcfd1b68e44ec440458