log sat_frontends/quick_frontend/quick_profile_manager.py @ 2811:a26b1ad2d3a4

age author description
Sat, 12 Jan 2019 12:25:31 +0100 Goffi date update