log frontends/src/quick_frontend/quick_menus.py @ 2257:0ffa8ba0857c

age author description
Sun, 11 Sep 2016 11:03:25 +0200 Goffi quick frontend (menus): minor docstring fixes