mikymod 185db66611 add font_size to output file vor 12 Jahren
..
gui 185db66611 add font_size to output file vor 12 Jahren
CMakeLists.txt f5da2c4257 Clean tools/CMakeLists.txt vor 12 Jahren
Config.h.in 39b8660f48 Add CMake-generated config file for tools vor 12 Jahren