Daniele Bartolini 4cfb020446 Fix entry in console 12 vuotta sitten
..
gui 4cfb020446 Fix entry in console 12 vuotta sitten
CMakeLists.txt f5da2c4257 Clean tools/CMakeLists.txt 12 vuotta sitten
Config.h.in 39b8660f48 Add CMake-generated config file for tools 12 vuotta sitten