diff frontends/src/quick_frontend/quick_profile_manager.py @ 1514:bad2e0e3fe70

tmp (wokkel): fixes changeset 91631837ce5c (rev 1510)
author souliane <souliane@mailoo.org>
date Thu, 10 Sep 2015 09:07:32 +0200
parents 039d96e131be
children 1c5761cb1bdc
line wrap: on
line diff