comparison src/core/sat_main.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 2d901b7fa861
children 59d486726577
comparison
equal deleted inserted replaced
838:8829a6c0b070 839:f8681a7fd834