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