log frontends/src/quick_frontend/quick_profile_manager.py @ 2355:0fed4a1c033a

age author description
Wed, 08 Mar 2017 20:44:28 +0100 Goffi primitivus: fixed profileCreate bridge call
Sun, 05 Mar 2017 21:36:01 +0100 Goffi core, bridge: renamed getProfileName to profileNameGet according to new conventions
Sun, 12 Feb 2017 19:08:52 +0100 Goffi core, frontends: getProfilesList renamed to profilesGetList + behaviour change: