summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2023-06-29automatic import of monoCoprDistGit
2023-06-29Initial setup of the repoHEADmasteropenEuler infrastructure