On Fri, Apr 5, 2013 at 6:46 AM, Jed Brown wrote:
> Felipe Contreras writes:
>
>> @@ -76,12 +78,19 @@ class Marks:
>>
>> def __init__(self, path):
>> self.path = path
>> +self.clear()
>> +self.load()
>> +
>> +if self.version < VERSION:
>> +self.cle
Felipe Contreras writes:
> @@ -76,12 +78,19 @@ class Marks:
>
> def __init__(self, path):
> self.path = path
> +self.clear()
> +self.load()
> +
> +if self.version < VERSION:
> +self.clear()
It's friendlier to just upgrade the marks in-place. Th
2 matches
Mail list logo