summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterActually, generated PDFs should be included as well for archiving.Matěj Cepl2 weeks