From: David Kastrup <dak@gnu.org>
Date: Wed, 18 Jul 2012 13:00:09 +0000 (+0200)
Subject: Merge branch 'texinfo' into HEAD
X-Git-Tag: release/2.15.42-1~55
X-Git-Url: https://git.donarmstrong.com/?p=lilypond.git;a=commitdiff_plain;h=c045f9e7b89f6ebe97a64c7d16a7e25d3a7c748c

Merge branch 'texinfo' into HEAD
---

c045f9e7b89f6ebe97a64c7d16a7e25d3a7c748c