Skip to content

Remove leftover .bat file

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

Related: !5739 (merged)

Merge request reports