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 5a713c0..5a713c0 100644 --- a/repo_name +++ b/profiles/repo_name |
![]() |
index : dev/falco.git | |
Developer overlay | Raphaël Marichez <falco@gentoo.org> |
summaryrefslogtreecommitdiff |
-rw-r--r-- | profiles/repo_name (renamed from repo_name) | 0 |
diff --git a/repo_name b/profiles/repo_name index 5a713c0..5a713c0 100644 --- a/repo_name +++ b/profiles/repo_name |