Skip to content

Add --ignore-dirty-git option to test and install commands#161

Merged
timwoj merged 1 commit intomasterfrom topic/timw/ignore-dirty-gitJun 20, 2023

Commits

Commits on Jun 20, 2023