Closed encukou closed 8 years ago
Split result data into individual files. Each still contains a mapping with the name of the case as a key, but they are merged together.
Split result data into individual files. Each still contains a mapping with the name of the case as a key, but they are merged together.