[JGIT PATCH] make_jgit.sh: do not fail with untagged repository
From: Johannes Schindelin <hidden>
Date: 2016-06-15 22:46:59
Subsystem:
the rest · Maintainer:
Linus Torvalds
From: Johannes Schindelin <hidden>
Date: 2016-06-15 22:46:59
Subsystem:
the rest · Maintainer:
Linus Torvalds