[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Issue 2171 in lilypond: Patch: Implements DOM-id property for grobs.
From: |
lilypond |
Subject: |
Re: Issue 2171 in lilypond: Patch: Implements DOM-id property for grobs. |
Date: |
Sat, 11 Feb 2012 20:08:50 +0000 |
Comment #28 on issue 2171 by address@hidden: Patch: Implements
DOM-id property for grobs.
http://code.google.com/p/lilypond/issues/detail?id=2171
I believe this was pushed Jan 24 as ad3a9e6531e32c4403f1bdc6d203d3c94c6d411e
That being the case, Mike, would you confirm by marking this fixed, please?
- Re: Issue 2171 in lilypond: Patch: Implements DOM-id property for grobs.,
lilypond <=