Skip to main content
aboutsummaryrefslogtreecommitdiffstats
path: root/org.eclipse.jgit.junit/.settings/org.eclipse.pde.api.tools.prefs
AgeCommit message (Expand)AuthorFilesLines
2017-11-24Ignore warning for minor version change without API changeMatthias Sohn1-1/+11
2011-12-16Enforce the use of Java5 API:s only (with a few exceptions)Robin Rosenberg1-0/+94

    Back to the top