comparison 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
comparison
equal deleted inserted replaced
1513:955221487a3e 1514:bad2e0e3fe70