source:
josm/trunk/src/org/openstreetmap/josm/gui/preferences/map@
6084
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
MapPreference.java | 1.2 KB | 6084 | 11 years | see #8902 - add missing @Override annotations (patch by shinigami) | |
BackupPreference.java | 5.6 KB | 6084 | 11 years | see #8902 - add missing @Override annotations (patch by shinigami) | |
MapPaintPreference.java | 10.5 KB | 6084 | 11 years | see #8902 - add missing @Override annotations (patch by shinigami) | |
TaggingPresetPreference.java | 14.8 KB | 6084 | 11 years | see #8902 - add missing @Override annotations (patch by shinigami) |
Note:
See TracBrowser
for help on using the repository browser.