log sat_frontends/quick_frontend/quick_list_manager.py @ 3632:7acf19bdca2f

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