From 1efca30d25a601f5686ca73921f518f4fe3fd42f Mon Sep 17 00:00:00 2001 From: Muhammad Herdiansyah Date: Mon, 15 Jul 2019 18:26:20 +0700 Subject: [PATCH] mpfr: move to extra --- {core => extra}/mpfr/build | 0 {core => extra}/mpfr/checksums | 0 {core => extra}/mpfr/depends | 0 {core => extra}/mpfr/sources | 0 {core => extra}/mpfr/version | 0 5 files changed, 0 insertions(+), 0 deletions(-) rename {core => extra}/mpfr/build (100%) rename {core => extra}/mpfr/checksums (100%) rename {core => extra}/mpfr/depends (100%) rename {core => extra}/mpfr/sources (100%) rename {core => extra}/mpfr/version (100%) diff --git a/core/mpfr/build b/extra/mpfr/build similarity index 100% rename from core/mpfr/build rename to extra/mpfr/build diff --git a/core/mpfr/checksums b/extra/mpfr/checksums similarity index 100% rename from core/mpfr/checksums rename to extra/mpfr/checksums diff --git a/core/mpfr/depends b/extra/mpfr/depends similarity index 100% rename from core/mpfr/depends rename to extra/mpfr/depends diff --git a/core/mpfr/sources b/extra/mpfr/sources similarity index 100% rename from core/mpfr/sources rename to extra/mpfr/sources diff --git a/core/mpfr/version b/extra/mpfr/version similarity index 100% rename from core/mpfr/version rename to extra/mpfr/version