source:
josm/trunk/src/org/openstreetmap/josm/gui/preferences/plugin@
7135
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| package-info.java | 171 bytes | 6986 | 10 years | sonar - fix various minor issues | |
| PluginListPanel.java | 9.7 KB | 7005 | 10 years | see #8465 - use diamond operator where applicable | |
| PluginPreference.java | 22.1 KB | 7021 | 10 years |
see #8465 - enable -Xlint:cast and fix associated warnings
|
|
| PluginPreferencesModel.java | 11.8 KB | 7005 | 10 years | see #8465 - use diamond operator where applicable | |
| PluginUpdatePolicyPanel.java | 8.7 KB | 7005 | 10 years | see #8465 - use diamond operator where applicable | |
Note:
See TracBrowser
for help on using the repository browser.
