log src/stdui/ui_profile_manager.py @ 1141:7fcafc3206b1

age author description
Mon, 25 Aug 2014 21:32:23 +0200 Goffi core (stdui): fixed forgotten parametter in getParamError