summaryrefslogtreecommitdiffstats
path: root/repo-pramantha-git (follow)
Commit message (Collapse)AuthorAgeLines
* repo-pramantha-git: Move pramantha repository from group-baseWolfgang Müller2021-09-05-0/+5
Since we now have multiple repo-* profiles, it only makes sense to treat pramantha as one as well.