Skip to content

build_arg_list: Raise an exception if an invalid output file name is given#3336

Merged
seisman merged 3 commits intomainfrom
build_arg_list/check-output
Jul 19, 2024
Merged

build_arg_list: Raise an exception if an invalid output file name is given#3336
seisman merged 3 commits intomainfrom
build_arg_list/check-output

Commits

Commits on Jul 19, 2024