source:
josm/trunk/src/org/openstreetmap/josm/gui/preferences/plugin@
4191
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
PluginListPanel.java | 5.0 KB | 4191 | 13 years | remove old debug stuff | |
PluginPreferencesModel.java | 12.1 KB | 4191 | 13 years | remove old debug stuff | |
PluginUpdatePolicyPanel.java | 8.4 KB | 3236 | 14 years | Fix #4921 changes of plugin update time interval not saved. |
Note:
See TracBrowser
for help on using the repository browser.