From edc36508b82a72f8fe2a260176983857a8f8f82c Mon Sep 17 00:00:00 2001 From: kares Date: Tue, 30 Jun 2015 11:34:36 +0200 Subject: [PATCH] delete benchmarks and bench/results sub-report --- bench/results | 1 - benchmarks | 1 - 2 files changed, 2 deletions(-) delete mode 160000 bench/results delete mode 160000 benchmarks diff --git a/bench/results b/bench/results deleted file mode 160000 index fbecff030..000000000 --- a/bench/results +++ /dev/null @@ -1 +0,0 @@ -Subproject commit fbecff0308e6ca1b2fca06e61448d08235380f56 diff --git a/benchmarks b/benchmarks deleted file mode 160000 index 3da62d8e3..000000000 --- a/benchmarks +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 3da62d8e3cb92e083340eaedca7bfd1d9467a2a2