diff src/stdui/ui_profile_manager.py @ 1111:9344e4542f26

core (constants): removed pyjamas workaround
author Goffi <goffi@goffi.org>
date Wed, 20 Aug 2014 22:59:33 +0200 (2014-08-20)
parents 8e0072754413
children 90f82f4ee405
line wrap: on
line diff