log frontends/src/quick_frontend/quick_menus.py @ 2298:276e546b7619

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