From da2532d086f0f481db1765a82890b5b19879a180 Mon Sep 17 00:00:00 2001 From: Jeff LANCE Date: Sun, 19 Apr 2020 16:25:46 +0200 Subject: [PATCH] Rename devel/github.com to github.com. --- {devel/github.com => github.com}/jefflance.gpg | Bin 1 file changed, 0 insertions(+), 0 deletions(-) rename {devel/github.com => github.com}/jefflance.gpg (100%) diff --git a/devel/github.com/jefflance.gpg b/github.com/jefflance.gpg similarity index 100% rename from devel/github.com/jefflance.gpg rename to github.com/jefflance.gpg