]> git.donarmstrong.com Git - lilypond.git/commitdiff
Merge branch 'texinfo' into HEAD
authorDavid Kastrup <dak@gnu.org>
Wed, 18 Jul 2012 13:00:09 +0000 (15:00 +0200)
committerDavid Kastrup <dak@gnu.org>
Wed, 18 Jul 2012 13:00:09 +0000 (15:00 +0200)

Trivial merge