From 7c557e5b3da8b8ba1db9542bc24bbf2a70bd1f1a Mon Sep 17 00:00:00 2001 From: Quentin Young Date: Tue, 20 Feb 2018 12:37:41 -0500 Subject: [PATCH] *: move random tools into tools/ Signed-off-by: Quentin Young --- git-reindent-branch.py => tools/git-reindent-branch.py | 0 indent.py => tools/indent.py | 0 render_md.py => tools/render_md.py | 0 3 files changed, 0 insertions(+), 0 deletions(-) rename git-reindent-branch.py => tools/git-reindent-branch.py (100%) rename indent.py => tools/indent.py (100%) rename render_md.py => tools/render_md.py (100%) diff --git a/git-reindent-branch.py b/tools/git-reindent-branch.py similarity index 100% rename from git-reindent-branch.py rename to tools/git-reindent-branch.py diff --git a/indent.py b/tools/indent.py similarity index 100% rename from indent.py rename to tools/indent.py diff --git a/render_md.py b/tools/render_md.py similarity index 100% rename from render_md.py rename to tools/render_md.py -- 2.39.5