aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/user-overlays/06169-Zimmi48-clean-up-deprecated-options.sh
AgeCommit message (Expand)Author
2017-12-26Delete old overlays (leaving example)Gaëtan Gilbert
2017-12-11Add overlay.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-10 00:10:53 +0000