]> gitweb.michael.orlitzky.com - mjo-overlay.git/blobdiff - profiles/repo_name
profiles/repo_name: drop obsolete file.
[mjo-overlay.git] / profiles / repo_name
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