-
hmueller authored
Define enumerated header filename in run scripts and pass it to header enumeration script instead of passing result directory.
ad087cc8
Define enumerated header filename in run scripts and pass it to header enumeration script instead of passing result directory.