comparison src/sat.sh @ 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 952322b1d490
children cbf4122baae7
comparison
equal deleted inserted replaced
838:8829a6c0b070 839:f8681a7fd834