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

Description:

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

Review

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