New CVS infrastructure; new server name.
This commit is contained in:
parent
0c891ec96c
commit
ced3767335
1 changed files with 1 additions and 1 deletions
|
@ -1131,7 +1131,7 @@ the jvm starting tomcat:
|
||||||
</target>
|
</target>
|
||||||
|
|
||||||
<target name="cvs-update" description="Performs a CVS update.">
|
<target name="cvs-update" description="Performs a CVS update.">
|
||||||
<cvs cvsRoot=":pserver:anonymous@cvs.sourceforge.net:/cvsroot/thdltools"
|
<cvs cvsRoot=":pserver:anonymous@thdltools.cvs.sourceforge.net:/cvsroot/thdltools"
|
||||||
command="-f -z3 -q update -d -P" failonerror="true"/>
|
command="-f -z3 -q update -d -P" failonerror="true"/>
|
||||||
</target>
|
</target>
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue