diff options
author | Brent Eagles <brent@zeroc.com> | 2005-03-14 15:01:55 +0000 |
---|---|---|
committer | Brent Eagles <brent@zeroc.com> | 2005-03-14 15:01:55 +0000 |
commit | 500a1fc3cfee7d0cdf057c0430886e0a9a3e4241 (patch) | |
tree | afa140933b70a7515524459e9f62deec8eecdbad /php/makedist.py | |
parent | Generated files weren't supposed to go in there (diff) | |
download | ice-500a1fc3cfee7d0cdf057c0430886e0a9a3e4241.tar.bz2 ice-500a1fc3cfee7d0cdf057c0430886e0a9a3e4241.tar.xz ice-500a1fc3cfee7d0cdf057c0430886e0a9a3e4241.zip |
merging changes to CVS hostname
Diffstat (limited to 'php/makedist.py')
-rwxr-xr-x | php/makedist.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/php/makedist.py b/php/makedist.py index dcfbf1f2c09..9299ca59c2c 100755 --- a/php/makedist.py +++ b/php/makedist.py @@ -67,7 +67,7 @@ os.chdir(distdir) # # Export sources from CVS. # -os.system("cvs -d cvs.mutablerealms.com:/home/cvsroot export " + tag + " icephp") +os.system("cvs -d cvs.zeroc.com:/home/cvsroot export " + tag + " icephp") # # Remove files. |