Skip to content

don't build disko script if disko is deselected#425

Merged
mergify[bot] merged 2 commits intomainfrom disko-skipNov 15, 2024

Commits

Commits on Nov 14, 2024

Commits on Nov 15, 2024