diff src/tools/common/data_format.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 c8e561a5b2b6
children f67434fd88d2
line wrap: on
line diff