From: Michael Orlitzky Date: Fri, 23 Dec 2022 23:42:16 +0000 (-0500) Subject: profiles/repo_name: drop obsolete file. X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=f88ee435c72e69ff4d4965a3f44ae68ee251ddd8;p=mjo-overlay.git profiles/repo_name: drop obsolete file. --- diff --git a/profiles/repo_name b/profiles/repo_name deleted file mode 100644 index 3ba0394..0000000 --- a/profiles/repo_name +++ /dev/null @@ -1 +0,0 @@ -mjo-overlay