diff options
Diffstat (limited to 'opendc-experiments/opendc-experiments-serverless20/src/main/resources')
| -rw-r--r-- | opendc-experiments/opendc-experiments-serverless20/src/main/resources/application.conf | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/opendc-experiments/opendc-experiments-serverless20/src/main/resources/application.conf b/opendc-experiments/opendc-experiments-serverless20/src/main/resources/application.conf deleted file mode 100644 index a065c5d6..00000000 --- a/opendc-experiments/opendc-experiments-serverless20/src/main/resources/application.conf +++ /dev/null @@ -1,8 +0,0 @@ -# Default configuration for the serverless experiments -opendc.experiments.serverless20 { - # Path to the directory containing the serverless trace - trace-path = input/traces/serverless - - # Path to the output directory to write the results to - output-path = output -} |