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 --- INSTALL | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'INSTALL') 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