Status: New Owner: ---- Labels: Type-Enhancement Patch-new
New issue 2611 by [email protected]: Patch: delete unused properties: extra-[XY]-extent
http://code.google.com/p/lilypond/issues/detail?id=2611 delete unused properties: extra-[XY]-extent http://codereview.appspot.com/6294087
