aboutsummaryrefslogtreecommitdiff
path: root/gerboweb/deploy/setup_clippy.yml
AgeCommit message (Expand)AuthorFilesLines
2020-12-30remove ansible scripts, they are now in their own "infra" repoHEADmasterjaseg1-85/+0
2019-04-04Fix up clippy networkingjaseg1-2/+18
2019-04-03gerbolyze fixes, clippy experimentsjaseg1-0/+69