source:
release-kits@
19474
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
derk | 19131 | 15 years | changes to the names and locations of things | ||
cdrk2 | 19398 | 15 years | gzip in the chosen zip format now | ||
sork2 | 19459 | 15 years | more work on sork to produce the single source component | ||
lirk2 | 19460 | 15 years | a few little changes to stay up to date with other big changes | ||
mark2 | 19460 | 15 years | a few little changes to stay up to date with other big changes | ||
lirk3 | 19463 | 15 years | make sure the uninstaller jar file makes it into the dist for … | ||
mark3 | 19463 | 15 years | make sure the uninstaller jar file makes it into the dist for … | ||
wirk2 | 19469 | 15 years | oops rk.home isn't available to this script | ||
shared | 19472 | 15 years | targets for deleting intermediate files | ||
wirk3 | 19474 | 15 years | ignore generated bin dir |
|
Note:
See TracBrowser
for help on using the repository browser.