source:
josm/trunk/src@
2855
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| org | 2855 | 14 years | fixed #4364: editing an "advanced preference" will disable all plugins … | ||
| JOSM.java | 571 bytes | 1023 | 16 years | close bug #1622. Keyboard shortcuts and specific OS handling | |
Note:
See TracBrowser
for help on using the repository browser.
