From 94a05f2f557f61f24658dc4c3f37b7bcca8507fe Mon Sep 17 00:00:00 2001 From: George Oikonomou Date: Fri, 17 May 2013 18:27:33 +0100 Subject: [PATCH] Move code style-related tools to their own dir --- tools/{ => code-style}/check-contiki-style | 0 tools/{ => code-style}/contiki-indent | 0 tools/{ => code-style}/indent.pro | 0 3 files changed, 0 insertions(+), 0 deletions(-) rename tools/{ => code-style}/check-contiki-style (100%) rename tools/{ => code-style}/contiki-indent (100%) rename tools/{ => code-style}/indent.pro (100%) diff --git a/tools/check-contiki-style b/tools/code-style/check-contiki-style similarity index 100% rename from tools/check-contiki-style rename to tools/code-style/check-contiki-style diff --git a/tools/contiki-indent b/tools/code-style/contiki-indent similarity index 100% rename from tools/contiki-indent rename to tools/code-style/contiki-indent diff --git a/tools/indent.pro b/tools/code-style/indent.pro similarity index 100% rename from tools/indent.pro rename to tools/code-style/indent.pro