diff --git a/benchmark/hello-scale.body b/benchmark/hello-scale.body deleted file mode 100644 index 8b13789..0000000 --- a/benchmark/hello-scale.body +++ /dev/null @@ -1 +0,0 @@ -