From 00e94e1653e2406b8f8d2de1e0d35143f7eadde4 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 21 Oct 2012 15:35:30 -0700 Subject: [PATCH] Moved scripts to scripts dir Signed-off-by: Leonardo de Moura --- mk_make.py => scripts/mk_make.py | 0 mk_util.py => scripts/mk_util.py | 0 update_api.py => scripts/update_api.py | 0 3 files changed, 0 insertions(+), 0 deletions(-) rename mk_make.py => scripts/mk_make.py (100%) rename mk_util.py => scripts/mk_util.py (100%) rename update_api.py => scripts/update_api.py (100%) diff --git a/mk_make.py b/scripts/mk_make.py similarity index 100% rename from mk_make.py rename to scripts/mk_make.py diff --git a/mk_util.py b/scripts/mk_util.py similarity index 100% rename from mk_util.py rename to scripts/mk_util.py diff --git a/update_api.py b/scripts/update_api.py similarity index 100% rename from update_api.py rename to scripts/update_api.py