source:
josm/trunk/src/org/openstreetmap/josm/gui/preferences/plugin@
13799
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| PluginPreference.java | 27.3 KB | 13799 | 6 years | fix #16220 - filter plugins by installation state | |
| PluginPreferencesModel.java | 12.5 KB | 13799 | 6 years | fix #16220 - filter plugins by installation state | |
| PluginUpdatePolicyPanel.java | 8.3 KB | 13064 | 6 years |
remove legacy properties (pluginmanager.warntime and …
|
|
| PluginListPanel.java | 5.8 KB | 13799 | 6 years | fix #16220 - filter plugins by installation state | |
| PluginCheckBox.java | 3.8 KB | 11848 | 7 years | fix #14613 - Special HTML characters not escaped in GUI error messages | |
| PluginInstallation.java | 369 bytes | 13799 | 6 years | fix #16220 - filter plugins by installation state | |
| package-info.java | 165 bytes | 7937 | 9 years | add subversion property svn:eol=native | |
Note:
See TracBrowser
for help on using the repository browser.
