]> gitweb.michael.orlitzky.com - mjo-overlay.git/commitdiff
profiles/repo_name: drop obsolete file.
authorMichael Orlitzky <michael@orlitzky.com>
Fri, 23 Dec 2022 23:42:16 +0000 (18:42 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Fri, 23 Dec 2022 23:42:16 +0000 (18:42 -0500)
profiles/repo_name [deleted file]

diff --git a/profiles/repo_name b/profiles/repo_name
deleted file mode 100644 (file)
index 3ba0394..0000000
+++ /dev/null
@@ -1 +0,0 @@
-mjo-overlay