comparison frontends/src/quick_frontend/quick_profile_manager.py @ 2102:071423b3a413

quick frontend (quick app): fixed use of profile_manager.connected
author Goffi <goffi@goffi.org>
date Tue, 20 Dec 2016 21:07:22 +0100
parents f413bfc24458
children 1d3f73e065e1
comparison
equal deleted inserted replaced
2101:cba3323710f0 2102:071423b3a413