log frontends/src/quick_frontend/quick_profile_manager.py @ 2162:c9a67eb5bf72

age author description
Sun, 12 Feb 2017 19:08:52 +0100 Goffi core, frontends: getProfilesList renamed to profilesGetList + behaviour change: