Jimmy Hess wrote:
> On Fri, Apr 20, 2018 at 3:57 AM, Theo Buehler wrote:
> > I don't think these are "redundant quotes" but rather ditto marks:
>
> The ditto mark and the quote character are not the same character,
> and the comments are nonsensical since they used the wrong character.
>
> I
Hi,
Jimmy Hess wrote on Fri, Apr 20, 2018 at 06:53:44AM -0500:
> On Fri, Apr 20, 2018 at 3:57 AM, Theo Buehler wrote:
>> I don't think these are "redundant quotes" but rather ditto marks:
> The ditto mark and the quote character are not the same character,
> and the comments are nonsensical s
On Fri, Apr 20, 2018 at 06:53:44AM -0500, Jimmy Hess wrote:
> On Fri, Apr 20, 2018 at 3:57 AM, Theo Buehler wrote:
> > I don't think these are "redundant quotes" but rather ditto marks:
>
> The ditto mark and the quote character are not the same character,
> and the comments are nonsensical sin
On Fri, Apr 20, 2018 at 3:57 AM, Theo Buehler wrote:
> I don't think these are "redundant quotes" but rather ditto marks:
The ditto mark and the quote character are not the same character,
and the comments are nonsensical since they used the wrong character.
If the writer means Ditto mark, the
Hi Theo,
I am very sorry for this wrong modification!
Thanks!
Best Regards
Nan Xiao
On Fri, Apr 20, 2018 at 4:57 PM, Theo Buehler wrote:
> I don't think these are "redundant quotes" but rather ditto marks:
>
> https://en.wikipedia.org/wiki/Ditto_mark
>
> this is quite clear here, for example:
I don't think these are "redundant quotes" but rather ditto marks:
https://en.wikipedia.org/wiki/Ditto_mark
this is quite clear here, for example:
> u_int64_t p_uru_nvcsw; /* LONG: voluntary context switches. */
> - u_int64_t p_uru_nivcsw; /* LONG: involuntary ". */
>
