log frontends/src/quick_frontend/quick_profile_manager.py @ 2257:0ffa8ba0857c

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