From cc655d0d296937e5bf868cb1520f461e60d56205 Mon Sep 17 00:00:00 2001 From: Michael Hoffmann Date: Thu, 13 Apr 2006 13:59:42 +0000 Subject: [PATCH] Rename. --- .gitattributes | 2 +- Installation/config/support/{S20-GMP => S20-GMP+MPFR} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename Installation/config/support/{S20-GMP => S20-GMP+MPFR} (100%) diff --git a/.gitattributes b/.gitattributes index 3c7e2144bb4..4146fa4ea5a 100644 --- a/.gitattributes +++ b/.gitattributes @@ -488,7 +488,7 @@ Installation/config/support/S09-EXTERNTAUCSMS -text Installation/config/support/S10-TAUCSNIX -text Installation/config/support/S11-TAUCSMS -text Installation/config/support/S15-X11 -text -Installation/config/support/S20-GMP -text +Installation/config/support/S20-GMP+MPFR -text Installation/config/support/S21-GMPXX -text Installation/config/support/S30-CORE -text Installation/config/support/S32-CGALCORE -text diff --git a/Installation/config/support/S20-GMP b/Installation/config/support/S20-GMP+MPFR similarity index 100% rename from Installation/config/support/S20-GMP rename to Installation/config/support/S20-GMP+MPFR