log frontends/src/quick_frontend/quick_menus.py @ 2081:2265d9df4cfb

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