log frontends/src/quick_frontend/quick_app.py @ 1430:ba09cd879343

age author description
Fri, 22 May 2015 22:31:37 +0200 Goffi quick_frontend (quick_app): properly fixed roster loss: