Jerry/bird
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Change of ftp servers.

Browse source
This commit is contained in:
Ondrej Filip 2005-02-21 10:04:37 +00:00
parent 39fc85b4c6
commit 89478fe3ab
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tools/gendist
View file

@ -33,5 +33,5 @@ read OK
echo Uploading to Atrey...
scp $T/$REL.tar.gz $T/$DREL.tar.gz atrey.karlin.mff.cuni.cz:~ftp/pub/bird/
echo Uploading to Regina...
scp $T/$REL.tar.gz $T/$DREL.tar.gz regina.gin.cz:~ftp/pub/bird/
scp $T/$REL.tar.gz $T/$DREL.tar.gz jana.gin.cz:~ftp/pub/bird/
echo Done.