Adding PDE API Tools nature to JGit
commit9151264e7d4eddcc6d65b1e0ce31e5cde9b9ad37
authorChris Aniszczyk <caniszczyk@gmail.com>
Sat, 16 Jan 2010 16:00:30 +0000 (16 10:00 -0600)
committerChris Aniszczyk <caniszczyk@gmail.com>
Sat, 16 Jan 2010 16:00:30 +0000 (16 10:00 -0600)
tree243c68ab78ffb4353808af3f2247f3876f8d3289
parent1ce2e13e1323a44fd83764980ab92ef7e8f94006
Adding PDE API Tools nature to JGit
org.eclipse.jgit/.project
org.eclipse.jgit/.settings/org.eclipse.pde.core.prefs [new file with mode: 0644]