log src/tools/utils.py @ 1322:1f13a837e4b2 frontends_multi_profiles

age author description
Fri, 21 Mar 2014 16:27:09 +0100 Goffi core: use of Const for profile_key + replaced '@DEFAULT@' default profile_key by '@NONE@'