From f88ee435c72e69ff4d4965a3f44ae68ee251ddd8 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Fri, 23 Dec 2022 18:42:16 -0500 Subject: [PATCH] profiles/repo_name: drop obsolete file. --- profiles/repo_name | 1 - 1 file changed, 1 deletion(-) delete mode 100644 profiles/repo_name 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 -- 2.43.2