Modify ↓
Opened 17 years ago
Closed 17 years ago
#1920 closed defect (fixed)
Doubled word in string
| Reported by: | sanna | Owned by: | |
|---|---|---|---|
| Priority: | trivial | Milestone: | |
| Component: | Core validator | Version: | latest |
| Keywords: | Cc: |
Description
../plugins/validator/src/org/openstreetmap/josm/plugins/validator/PreferenceEditor.java:70
Faulty text:Use the use ignore list to suppress warnings.
Corrected text. Use the ignore list to suppress warnings.
Checked against svn (http://trac.openstreetmap.org/browser/applications/editors/josm/plugins/validator/src/org/openstreetmap/josm/plugins/validator/PreferenceEditor.java) as of 20081229.
/Sanna
Attachments (0)
Note:
See TracTickets
for help on using tickets.



Fixed in SVN.