log sat_frontends/quick_frontend/quick_profile_manager.py @ 3746:fa3dc4ed7906

age author description
2021-03-19 Goffi date update
2020-01-29 Goffi fixed shebangs
2020-01-29 Goffi dates update
2019-08-13 Goffi Python 3 port:
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
2018-04-02 Goffi core, setup: huge cleaning: base frontends/src/quick_frontend/quick_profile_manager.py@c455e002b14c