diff options
| author | David Aspinall | 1998-09-24 15:11:02 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-24 15:11:02 +0000 |
| commit | 2a59e48560620133eac3899f4c12ca81e4a4d55e (patch) | |
| tree | 0dacd6a6da7b4a0a3dc11c51dae880f26e6a8665 | |
| parent | 86391ff530b65014aa18fccc2764e3d921b6da59 (diff) | |
New repository name
| -rw-r--r-- | Makefile.devel | 2 |
1 files changed, 1 insertions, 1 deletions
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 |