@sgiehl opened this Pull Request on January 11th 2022 Member


This simply hides the commands that won't work on windows. Alternatively we could also check if there would be any commands that need to be run instead.

fixes #18603


This Pull Request was closed on January 11th 2022
Powered by GitHub Issue Mirror