log src/plugins/plugin_tmp_demo_directory.py @ 1327:89dc29afe01c frontends_multi_profiles

age author description
Tue, 07 Oct 2014 17:12:41 +0200 Goffi core: better management of default value in getConfig