diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/gendist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/gendist b/tools/gendist index f594d535..eaaf4757 100755 --- a/tools/gendist +++ b/tools/gendist @@ -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 Jana... -scp $T/$REL.tar.gz $T/$DREL.tar.gz jana.gin.cz:~ftp/pub/bird/ +scp $T/$REL.tar.gz $T/$DREL.tar.gz regina.gin.cz:~ftp/pub/bird/ echo Done. |