Skip to content

Do not specify the dump name in the script, manage this dump names in the dev5#134

Merged
milanmajchrak merged 1 commit intomainfrom ufal/update-dump-namesMay 6, 2024

Commits