Michael Friedrich 8039aa1a08 configconvert: move to tools/ ... fixes #4337		2013-06-24 16:14:20 +02:00
..
.gitignore	configconvert: move to tools/	2013-06-24 16:14:20 +02:00