From 12704997a379bb626886e42b8bd2ddac0f367b97 Mon Sep 17 00:00:00 2001 From: Daniel Tameling Date: Sat, 20 Jan 2018 21:06:18 +0100 Subject: 42305: CVS should be git --- ChangeLog | 4 ++++ INSTALL | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 3c1192b3e..6e1e83a11 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2018-01-22 Peter Stephenson + + * Daniel Tamelin: 42305: INSTALL: CVS should be git. + 2018-01-20 Mikael Magnusson * 42243: Src/Modules/pcre.c: Free stuff properly in zsh/pcre diff --git a/INSTALL b/INSTALL index 99895bd6c..cf70893a7 100644 --- a/INSTALL +++ b/INSTALL @@ -47,7 +47,7 @@ Pre-configuration If you are using a normal source release, skip this section. If the `configure' script does not already exist -- e.g., if you've got -a snapshot of the bare sources just checked out from a CVS repository +a snapshot of the bare sources just checked out from a git repository -- some things need to be built before the configuration can proceed. Run the script `./Util/preconfig' to do this. -- cgit 1.4.1