log sat_frontends/quick_frontend/quick_menus.py @ 3170:39d7327583e1

age author description
2020-01-29 Goffi fixed shebangs
2020-01-29 Goffi dates update
2019-08-13 Goffi Python 3 port:
2019-01-12 Goffi date update
2018-06-27 Goffi code style reformatting using black
2018-04-02 Goffi core, setup: huge cleaning: base frontends/src/quick_frontend/quick_menus.py@00377f851c88