[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: ?\ vs. ?\s

From: Richard M. Stallman
Subject: Re: ?\ vs. ?\s
Date: Wed, 29 Jun 2005 21:44:20 -0400

    > Or did you mean: yes to change "?\  ", no to change other "?\ "?
    > Because, after taking a look at it, many or most uses are "?\  ", so
    > it doesn't really pay to change ones and not the others...

    IMO, we should change all of them, but is this really the time?

For fixing minor flaws, now's a fine time.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]