From d83ef29698092f65f2a702471875c6ec01583f6e Mon Sep 17 00:00:00 2001 From: Milan Jelisavcic Date: Sun, 6 Aug 2017 18:39:22 +0200 Subject: [PATCH] Move `code_check.sh` to `tools` directory --- code_check.sh => tools/code_check.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename code_check.sh => tools/code_check.sh (100%) diff --git a/code_check.sh b/tools/code_check.sh similarity index 100% rename from code_check.sh rename to tools/code_check.sh