David Halter af92f7f9f2 pickling works now (had problems deriving str, see http://stackoverflow.com/questions/14248633/python-pickle-derived-str-object), #102

2013-01-11 22:26:30 +01:00

70 KiB

Raw Blame History

View Raw