From d53c0dadb92173a6caeb6a1f31dafa92dcff6833 Mon Sep 17 00:00:00 2001
From: paltherr <paltherr@epfl.ch>
Date: Mon, 19 Jan 2004 17:46:23 +0000
Subject: - Added CVS

---
 Makefile.config | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile.config b/Makefile.config
index 1834750028..9674e4081b 100644
--- a/Makefile.config
+++ b/Makefile.config
@@ -57,6 +57,7 @@ CAT			?= cat
 CHMOD			?= chmod
 COMM			?= comm
 CP			?= cp
+CVS			?= cvs
 DATE			?= date
 DIRNAME			?= dirname
 ECHO			?= echo
-- 
cgit v1.2.3