summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
kerberosdevenv: move inputs away from githubquentin@aristote.fr6 weeks
masteradd useful bootstrapping scriptsquentin@aristote.fr3 weeks