Re: [Lilypond-auto] Issue 3392 in lilypond: Patch: Use @dots{} instead of ... in notation manual where appropriate

[lilypond]

Updates:
        Status: Fixed
        Labels: -Patch-push Fixed_2_17_20

Comment #8 on issue 3392 by address@hidden: Patch: Use @dots{} instead of ...  
in notation manual where appropriate
http://code.google.com/p/lilypond/issues/detail?id=3392

Pushed to staging as
commit ecd34079d2df7ba2c28b3c76740cd0b9f157d61b
Author: David Kastrup <address@hidden>
Date:   Mon Jun 3 12:17:44 2013 +0200

    Issue 3392: Use @dots{} instead of ... in notation manual where  
appropriate

    This uses a typographically preferable variant, and also may render
    better in Info format in some circumstances.


--
You received this message because this project is configured to send all  
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings