diff options
-rw-r--r-- | profiles/repo_name (renamed from repo_name) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/repo_name b/profiles/repo_name index d58a73a..d58a73a 100644 --- a/repo_name +++ b/profiles/repo_name |
index : dev/robbat2.git | ||
Developer overlay | Robin H. Johnson <robbat2@gentoo.org> |
summaryrefslogtreecommitdiff |
-rw-r--r-- | profiles/repo_name (renamed from repo_name) | 0 |
diff --git a/repo_name b/profiles/repo_name index d58a73a..d58a73a 100644 --- a/repo_name +++ b/profiles/repo_name |