source:
osm/applications/editors/josm@
14411
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| debian | 13391 | 16 years | use #!/usr/bin/bash ; since we also use bash commands | ||
| dist | 14410 | 16 years | manual build | ||
| i18n | 14372 | 16 years | updated | ||
| nsis | 14277 | 16 years | use wget settings, so we would download a new version of the webkit stuff | ||
| plugins | 14411 | 16 years | bug fix: include DTD in distribution | ||
|
Note:
See TracBrowser
for help on using the repository browser.
