From 6e19270f43e7aedc774e43ae0a473081a09919dc Mon Sep 17 00:00:00 2001 From: Markus Hitter Date: Thu, 5 Feb 2015 20:57:31 +0100 Subject: [PATCH] Configtool: rename to configtool.py. All the stuff is in configtool/, there's configtool.ini, config.py can be easily confused with config.h, ... quite a number of reasons. --- config.py => configtool.py | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename config.py => configtool.py (100%) diff --git a/config.py b/configtool.py similarity index 100% rename from config.py rename to configtool.py