Closed AnneHommelberg closed 5 years ago
Update the json format the server expects, and add new options in the run configurations.
Update the json format the server expects, and add new options in the run configurations.