source:
osm/applications/editors/josm/plugins/wikipedia/.settings@
34022
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| org.sonarlint.eclipse.core.prefs | 106 bytes | 32182 | 9 years | see #josm12851 - plugin requires JOSM 9649 | |
| org.eclipse.jdt.core.prefs | 7.3 KB | 32699 | 8 years | see #josm11390 - update Eclipse preferences files to Java 8 | |
| org.eclipse.core.resources.prefs | 57 bytes | 33993 | 7 years | handle multiple levels of wikipedia article redirections when … | |
Note:
See TracBrowser
for help on using the repository browser.
