log frontends/src/quick_frontend/quick_menus.py @ 2108:70f23bc7859b

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