log sat/stdui/ui_profile_manager.py @ 3177:f4914ce9d47d

age author description
Wed, 29 Jan 2020 10:07:00 +0100 Goffi fixed shebangs