comparison sat_frontends/quick_frontend/quick_profile_manager.py @ 3113:b067736d5099

quick frontend (app): removed workaround for pyjamas
author Goffi <goffi@goffi.org>
date Fri, 17 Jan 2020 15:27:39 +0100
parents ab2696e34d29
children 9d0df638c8b4
comparison
equal deleted inserted replaced
3112:91891a108d6f 3113:b067736d5099