]> git.donarmstrong.com Git - lilypond.git/commitdiff
Merge branch 'footnote' into HEAD
authorDavid Kastrup <dak@gnu.org>
Fri, 11 May 2012 10:20:01 +0000 (12:20 +0200)
committerDavid Kastrup <dak@gnu.org>
Fri, 11 May 2012 10:20:01 +0000 (12:20 +0200)

Trivial merge