diff frontends/src/jp/base.py @ 1590:ab54af2a9ab2

core (memory): fixed a case where getProfileName was returning an empty string instead of raising an errror
author Goffi <goffi@goffi.org>
date Sat, 14 Nov 2015 19:18:10 +0100
parents 823a385235ef
children 313f2bb7841b
line wrap: on
line diff