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
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
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
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
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
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 ". */
>