log sat_frontends/quick_frontend/quick_app.py @ 2954:5e72efd2f95d

age author description
Sun, 07 Apr 2019 21:09:49 +0200 Goffi quick frontend (app): (un)set sync state on (dis)connect: