source:
osm/applications/editors/josm/plugins/undelete/.settings@
36038
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| org.eclipse.jdt.ui.prefs | 2.9 KB | 32552 | 8 years | checkstyle | |
| org.eclipse.jdt.core.prefs | 6.8 KB | 32699 | 8 years | see #josm11390 - update Eclipse preferences files to Java 8 | |
Note:
See TracBrowser
for help on using the repository browser.
