summaryrefslogtreecommitdiffstats
path: root/org.eclipse.jgit.ui/.settings/org.eclipse.pde.api.tools.prefs
Commit message (Expand)AuthorAgeFilesLines
* Ignore warning for minor version change without API changeMatthias Sohn2017-11-241-1/+11
* Enforce the use of Java5 API:s only (with a few exceptions)Robin Rosenberg2011-12-161-0/+94