source:
osm/applications/editors/josm/plugins/namemanager/.settings@
30416
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| org.eclipse.jdt.core.prefs | 364 bytes | 30416 | 11 years | [josm_plugins] switch plugins to Java 7 | |
Note:
See TracBrowser
for help on using the repository browser.
