From 8ed51806b9b10d3d97ec3b0457a333c7f55f622e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Torma=20Krist=C3=B3f?= Date: Fri, 26 Apr 2019 16:13:47 +0200 Subject: [PATCH] Delete hello-scale.body --- benchmark/hello-scale.body | 1 - 1 file changed, 1 deletion(-) delete mode 100644 benchmark/hello-scale.body 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 @@ -