summaryrefslogtreecommitdiff
path: root/tezi
AgeCommit message (Expand)Author
2023-09-25tezi: checkout master branch if availableMax Krummenacher
2023-05-02tezi: add to master manifestMax Krummenacher