From dadef41b72a3224158f53c29b4d30ca11e29439d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 25 Nov 1999 17:30:29 +0000
Subject: Switch CVS remote access to faster machine, scar.

---
 Makefile.devel | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3