source:
osm/applications/editors/josm@
14415
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
debian | 13391 | 16 years | use #!/usr/bin/bash ; since we also use bash commands | ||
dist | 14415 | 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 | 14414 | 16 years |
|
Note:
See TracBrowser
for help on using the repository browser.