source: main@ 23474

Name Size Rev Age Author Last Change
../
branches 22872   14 years xiao make this build.xml same as one in the trunk
tags 23471   13 years nzdl tagging a stable point on the trunk
trunk 23474   13 years davidb renamming of build-server.pl to index-server.pl
Note: See TracBrowser for help on using the repository browser.