Changeset 32578 in osm for applications/editors/josm/plugins/mapillary/.settings/org.eclipse.jdt.ui.prefs
- Timestamp:
- 2016-07-05T14:48:59+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
applications/editors/josm/plugins/mapillary/.settings/org.eclipse.jdt.ui.prefs
r32354 r32578 3 3 formatter_settings_version=12 4 4 org.eclipse.jdt.ui.ignorelowercasenames=true 5 org.eclipse.jdt.ui.importorder=java;javax; ;\#;5 org.eclipse.jdt.ui.importorder=\#;java;javax;; 6 6 org.eclipse.jdt.ui.javadoc=true 7 7 org.eclipse.jdt.ui.ondemandthreshold=9999
Note:
See TracChangeset
for help on using the changeset viewer.