log sat_frontends/quick_frontend/quick_profile_manager.py @ 2954:5e72efd2f95d

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