log sat/stdui/ui_profile_manager.py @ 2982:95c774627a95

age author description
2019-01-12 Goffi date update
2019-01-11 Goffi misc: replaced all "dummy" by the more conventional and readable "__" ("_" being used for gettext)
2018-06-27 Goffi code style reformatting using black