|
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] |