Thereby, we allow plugins to provide more than just one plugin (e.g.: as javamelody does), and we get correct 'git describe' output when cloning plugins under different names or more than once. Change-Id: I7afe621265b3424ef78271e3bbeeca22b2cf4cf8
1017 B
1017 B