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.
This commit is contained in:
Markus Hitter 2015-02-05 20:57:31 +01:00
parent 74f0c88df9
commit 6e19270f43
1 changed files with 0 additions and 0 deletions