Skip to main content
aboutsummaryrefslogtreecommitdiffstats
path: root/plugins/toolsmiths/org.eclipse.papyrus.dev.ui/.settings/org.eclipse.jdt.ui.prefs
AgeCommit message (Collapse)AuthorFilesLines
2018-08-22Bug 537653 - [EPL] Update jdt.ui filesQuentin Le Menez1-1/+1
- amended the org.eclipse.jdt.ui.prefs for the new EPL2.0 license Change-Id: Ibcbef74918057bfa7ac94d341a33ec2f192f1a81 Signed-off-by: Quentin Le Menez <quentin.lemenez@cea.fr>
2018-07-04Bug 535808: [DevTools] Apply Cleanup & Format on saveCamille Letavernier1-0/+127
https://bugs.eclipse.org/bugs/show_bug.cgi?id=535808 - Propagate the new preferences to all projects Change-Id: I0e70c1c4a5d14a24c2d92371c27dad085e9aa2d3 Signed-off-by: Camille Letavernier <cletavernier@eclipsesource.com>

    Back to the top