Updates:
Status: Fixed
Labels: -Patch-push Fixed_2_17_20
Comment #8 on issue 3392 by [email protected]: 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 <[email protected]>
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
