[PATCH] -r 1-100 not -r1:100 please...

[Denys Duchier]

John Arbash Meinel <john at arbash-meinel.com> writes:

> I agree that '-' is a decent separator character, but I think it is also
> frequently used as a joining character. We have thought about it and
> discussed it, and it doesn't really seem like the best character.

How about using an ellipsis? using either 2 or 3 (or more) dots:

	N..M
or      N...M

would that work any better?

Cheers,

-- 
Dr. Denys Duchier - IRI & LIFL - CNRS, Lille, France
+33 (0)6 25 78 25 74    http://www.lifl.fr/~duchier/