]> source.dussan.org Git - jgit.git/commitdiff
Merge "Adding PDE API Tools nature to JGit"
authorRobin Rosenberg <robin.rosenberg@dewire.com>
Sun, 17 Jan 2010 15:30:52 +0000 (10:30 -0500)
committerCode Review <codereview-daemon@eclipse.org>
Sun, 17 Jan 2010 15:30:52 +0000 (10:30 -0500)

Trivial merge