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