From 52c044aacfe2ea0508cba084c9d2f9b52cbd99a6 Mon Sep 17 00:00:00 2001 From: Andrea Marchesini Date: Wed, 4 Sep 2019 12:34:02 +0200 Subject: [PATCH] Move metrics into docs --- metrics.md => docs/metrics.md | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename metrics.md => docs/metrics.md (100%) diff --git a/metrics.md b/docs/metrics.md similarity index 100% rename from metrics.md rename to docs/metrics.md