Quotation Ugliness

[Chris Angelico]

On Thu, Nov 27, 2014 at 1:26 AM, Tim Chase
<python.list at tim.thechases.com> wrote:
> On 2014-11-26 15:45, Jussi Piitulainen wrote:
>> Tim Chase writes:
>> >   bash$ echo // hello
>> >   hello
>>
>> Where did the // go?
>
> The bad-copy-and-paste gremlins ate them :-o
>
> Good catch. :)
>

I was searching the ol' memory banks, trying to figure out if there
was some way to tell the internal 'echo' command to use slash instead
of dash (maybe for DOS/Windows people??), in which case that would be
parsed as "echo -- hello" and would indeed simply echo "hello".

ChrisA