|
From: | Paul Eggert |
Subject: | Re: Please stop putting curly quotes into doc strings! |
Date: | Sat, 5 Sep 2015 21:48:56 -0700 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.2.0 |
Richard Stallman wrote:
Those that represent symbol quotations in doc strings should be removed.
They work fine just as they are, and in some ways they work better than the straight quotes do. Users can see them as straight quotes if they like. There is not a strong argument for removing them.
[Prev in Thread] | Current Thread | [Next in Thread] |