log sat_frontends/quick_frontend/quick_menus.py @ 3019:c9f03b1eb64d

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