-
iker_martin authored
Minor fixes. One script was not being called with all needed arguments. The time limit was not being calculated according to the number of missing executions.
1eae4f85
Minor fixes. One script was not being called with all needed arguments. The time limit was not being calculated according to the number of missing executions.