summaryrefslogtreecommitdiff
path: root/grid5000/steps/data/setup/puppet/modules/env/manifests/common/apt_pinning.pp
AgeCommit message (Expand)Author
2021-09-30add new version of imageBoss Marco
2021-08-29initial importChristian Grothoff
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-19 00:00:51 +0000