|
| From: | graham |
| Subject: | Re: Use @dots{} instead of ... in notation manual where appropriate (issue 9964043) |
| Date: | Thu, 06 Jun 2013 21:31:41 +0000 |
I find ... easier to read in texinfo source rather than @dots{}, but oh
well. I won't object to the patch.
https://codereview.appspot.com/9964043/
| [Prev in Thread] | Current Thread | [Next in Thread] |