Skip to content

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

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