Re: Remove thin-kern property. (issue 105560044 by address@hidden)

[marc]

On 2014/07/06 06:46:53, Mark Polesky wrote:
> Hi, I'm proposing to get rid of the BarLine.thin-kern property with
this patch,
> so if you're opposed, let me know.

> You can see my comments/rationale here:
> http://code.google.com/p/lilypond/issues/detail?id=3995

> Thanks,
> Mark

I don't see any reason to maintain two different types of kern that are
never used independently, so LGTM.

https://codereview.appspot.com/105560044/