]> source.dussan.org Git - jgit.git/commitdiff
Merge "Add missing resources from source.. in build.properties"
authorMatthias Sohn <matthias.sohn@sap.com>
Wed, 30 Oct 2013 22:21:28 +0000 (18:21 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Wed, 30 Oct 2013 22:21:28 +0000 (18:21 -0400)

Trivial merge