<br><br><div class="gmail_quote">On Mon, Nov 30, 2009 at 4:32 PM, Jakob Leben <span dir="ltr"><<a href="mailto:jakob.leben@gmail.com">jakob.leben@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="im"><br></div>I am weighing the two options of setting version number for a specific setting entry or the whole settings and I incline towards the latter, so that other entries are preserved if only one changes. It seems a pity to throw away all the settings in that case.<br>

</blockquote></div><br>errrm, sorry, I wanted to say: I inline towards the former, that is versioning only the one setting entry that changed in format.<br>