Skip to content

Delete the Windows batch scripts and switch to Python - #971

Open
NWilson wants to merge 12 commits into
mainfrom
user/niwilson/runtest-kill-batch
Open

Delete the Windows batch scripts and switch to Python#971
NWilson wants to merge 12 commits into
mainfrom
user/niwilson/runtest-kill-batch