log sat_frontends/quick_frontend/quick_menus.py @ 3377:297389b1563c

age author description
Wed, 29 Jan 2020 10:07:00 +0100 Goffi fixed shebangs
Wed, 29 Jan 2020 09:50:54 +0100 Goffi dates update
Tue, 13 Aug 2019 19:08:41 +0200 Goffi Python 3 port: