diff options
| author | Wolfgang Müller | 2021-09-05 15:02:47 +0200 |
|---|---|---|
| committer | Wolfgang Müller | 2021-09-05 15:02:47 +0200 |
| commit | ab04b0088353cd338e20d03eaf7ec9ffd843b2a2 (patch) | |
| tree | a5c8d2685d271b8d6172ae62f388144546c9feaf /repo-pramantha-git | |
| parent | f9e16eda67c9b5262b5ae3a3b87d3bd77140d953 (diff) | |
| download | portage-roles-ab04b0088353cd338e20d03eaf7ec9ffd843b2a2.tar.gz | |
repo-pramantha-git: Move pramantha repository from group-base
Since we now have multiple repo-* profiles, it only makes sense to treat
pramantha as one as well.
Diffstat (limited to '')
| -rw-r--r-- | repo-pramantha-git/repos.conf/pramantha.conf (renamed from group-base/repos.conf/pramantha.conf) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/group-base/repos.conf/pramantha.conf b/repo-pramantha-git/repos.conf/pramantha.conf index 7b3c3e8..7b3c3e8 100644 --- a/group-base/repos.conf/pramantha.conf +++ b/repo-pramantha-git/repos.conf/pramantha.conf |