Rename to avoid number clash.

2006-07-21 19:59:01 +00:00 · 2006-07-21 19:59:01 +00:00 · 6ef897e32e
parent c7af371249
commit 6ef897e32e
2 changed files with 1 additions and 1 deletions
--- 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
--- a/Installation/config/support/S41-ZLIBMS
+++ b/Installation/config/support/S41-ZLIBMS