Skip to content
Snippets Groups Projects
Commit 2f7c0556 authored by Nico Vermaas's avatar Nico Vermaas
Browse files

also added the other .bat files for convenience

parent c2cfb98f
No related branches found
No related tags found
1 merge request!326bugfix, didn't consider rfi_percent = 0 a valid RFI
Pipeline #64096 passed