Skip to content

Remove leftover .bat file [v9_18]

Petr Špaček requested to merge pspacek/windows-bat-removal-v9_18 into v9_18

Backport of MR !5875 (merged)

Merge request reports