From 74b68b168c2c4fd5d18822b1113c26b93b7a0b84 Mon Sep 17 00:00:00 2001 From: wangjiawei04 Date: Mon, 30 Mar 2020 13:14:41 +0000 Subject: [PATCH] move benchmarking --- doc/{deprecated => }/BENCHMARKING.md | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename doc/{deprecated => }/BENCHMARKING.md (100%) diff --git a/doc/deprecated/BENCHMARKING.md b/doc/BENCHMARKING.md similarity index 100% rename from doc/deprecated/BENCHMARKING.md rename to doc/BENCHMARKING.md -- GitLab