From 6ef897e32e9a23ca23a0178f8c85a9f2dfcec03e Mon Sep 17 00:00:00 2001 From: Sylvain Pion Date: Fri, 21 Jul 2006 19:59:01 +0000 Subject: [PATCH] Rename to avoid number clash. --- .gitattributes | 2 +- Installation/config/support/{S40-ZLIBMS => S41-ZLIBMS} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename Installation/config/support/{S40-ZLIBMS => S41-ZLIBMS} (100%) diff --git a/.gitattributes b/.gitattributes index 8025bd03f91..8e37e0a3baf 100644 --- a/.gitattributes +++ b/.gitattributes @@ -470,7 +470,7 @@ Installation/config/support/S23-MPFR -text Installation/config/support/S30-CORE -text Installation/config/support/S32-CGALCORE -text Installation/config/support/S40-ZLIB -text -Installation/config/support/S40-ZLIBMS -text +Installation/config/support/S41-ZLIBMS -text Installation/config/support/S50-LIDIA -text Installation/config/support/S60-LEDA -text Installation/config/support/S61-LEDA5X -text diff --git a/Installation/config/support/S40-ZLIBMS b/Installation/config/support/S41-ZLIBMS similarity index 100% rename from Installation/config/support/S40-ZLIBMS rename to Installation/config/support/S41-ZLIBMS