From 7f62e7f289870c11ed91fbb3cf9b7437d7624b35 Mon Sep 17 00:00:00 2001
From: Mid Favila <midfavila@sdf.org>
Date: Sun, 6 Feb 2022 17:49:07 -0400
Subject: [PATCH] move gnu-grep back to core

---
 ports/{unofficial/stable => official/core}/gnu-grep/build     | 0
 ports/{unofficial/stable => official/core}/gnu-grep/checksums | 0
 ports/{unofficial/stable => official/core}/gnu-grep/sources   | 0
 ports/{unofficial/stable => official/core}/gnu-grep/version   | 0
 4 files changed, 0 insertions(+), 0 deletions(-)
 rename ports/{unofficial/stable => official/core}/gnu-grep/build (100%)
 rename ports/{unofficial/stable => official/core}/gnu-grep/checksums (100%)
 rename ports/{unofficial/stable => official/core}/gnu-grep/sources (100%)
 rename ports/{unofficial/stable => official/core}/gnu-grep/version (100%)

diff --git a/ports/unofficial/stable/gnu-grep/build b/ports/official/core/gnu-grep/build
similarity index 100%
rename from ports/unofficial/stable/gnu-grep/build
rename to ports/official/core/gnu-grep/build
diff --git a/ports/unofficial/stable/gnu-grep/checksums b/ports/official/core/gnu-grep/checksums
similarity index 100%
rename from ports/unofficial/stable/gnu-grep/checksums
rename to ports/official/core/gnu-grep/checksums
diff --git a/ports/unofficial/stable/gnu-grep/sources b/ports/official/core/gnu-grep/sources
similarity index 100%
rename from ports/unofficial/stable/gnu-grep/sources
rename to ports/official/core/gnu-grep/sources
diff --git a/ports/unofficial/stable/gnu-grep/version b/ports/official/core/gnu-grep/version
similarity index 100%
rename from ports/unofficial/stable/gnu-grep/version
rename to ports/official/core/gnu-grep/version