Status: Started
Owner: [email protected]
Labels: Type-Enhancement Patch-new
New 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
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.
http://codereview.appspot.com/9964043
--
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
