Move code_check.sh to tools directory

ci-group · Aug 6, 2017 · d83ef29 · d83ef29
1 parent 949414b
commit d83ef29
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/code_check.sh → tools/code_check.sh b/code_check.sh → tools/code_check.sh