From 2a59e48560620133eac3899f4c12ca81e4a4d55e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Sep 1998 15:11:02 +0000
Subject: New repository name

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

diff --git a/Makefile.devel b/Makefile.devel
index 7b44834c..a3e43faa 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -61,7 +61,7 @@ EMACS=xemacs
 RELEASE_TAG=2.0-pre$(shell date "+%y%m%d")
 CVS_RELEASE_TAG=2-0-pre$(shell date "+%y%m%d")
 
-CVSNAME = elisp
+CVSNAME = ProofGeneral
 CVSROOT = /home/proofgen/src
 
 NAME = ProofGeneral
-- 
cgit v1.2.3