diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-11-25 17:30:29 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-25 17:30:29 +0000 |
commit | dadef41b72a3224158f53c29b4d30ca11e29439d (patch) | |
tree | d55c1c9d8e2d5407bdc95618bee9ad6dc942ddcb /Makefile.devel | |
parent | f7d5616f0570daac9596f8ea5aaeddd4b1054cc4 (diff) |
Switch CVS remote access to faster machine, scar.
Diffstat (limited to 'Makefile.devel')
-rw-r--r-- | Makefile.devel | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel index 5849cdea..08bd8a3a 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -96,7 +96,7 @@ CVSNAME = ProofGeneral # CVSROOT = :ext:$(USER)@$(MACHINE).dcs.ed.ac.uk:/home/proofgen/src # CVSROOT = /home/proofgen/src # CVS_RSH=ssh -MACHINE=craro +MACHINE=scar CVSROOT = :ext:da@$(MACHINE).dcs.ed.ac.uk:/home/proofgen/src # Emacs |