From 10759e8bdb62d4e596a2631271e586ff6d1d7661 Mon Sep 17 00:00:00 2001 From: Alex Shinn Date: Thu, 5 Apr 2018 22:21:33 +0900 Subject: [PATCH] moving some scripts to tools/ --- chibi-gdb => tools/chibi-gdb | 0 chibi-run => tools/chibi-run | 0 chibi-save => tools/chibi-save | 0 3 files changed, 0 insertions(+), 0 deletions(-) rename chibi-gdb => tools/chibi-gdb (100%) rename chibi-run => tools/chibi-run (100%) rename chibi-save => tools/chibi-save (100%) diff --git a/chibi-gdb b/tools/chibi-gdb similarity index 100% rename from chibi-gdb rename to tools/chibi-gdb diff --git a/chibi-run b/tools/chibi-run similarity index 100% rename from chibi-run rename to tools/chibi-run diff --git a/chibi-save b/tools/chibi-save similarity index 100% rename from chibi-save rename to tools/chibi-save