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