log sat_frontends/primitivus/profile_manager.py @ 3175:b9a2dd4d750a

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