log src/stdui/ui_profile_manager.py @ 1309:d0d5ba3b4d64 frontends_multi_profiles

age author description
Wed, 10 Dec 2014 18:36:11 +0100 Goffi core: misc improvments: frontends_multi_profiles