comparison frontends/src/tools/__init__.py @ 839:f8681a7fd834

memory (sqlite): the result of pickle.dumps in addToHistory must be encoded for the special characters to be stored.
author souliane <souliane@mailoo.org>
date Wed, 12 Feb 2014 21:46:48 +0100
parents 56aa0e98c92e
children
comparison
equal deleted inserted replaced
838:8829a6c0b070 839:f8681a7fd834