summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterInitial setup of the repoopenEuler infrastructure2 years
openeuler20.03automatic import of python-agda-pkgCoprDistGit2 years