On 3 October 2014 16:08:57 CEST, Andi Kleen <a...@firstfloor.org> wrote:
>From: Andi Kleen <a...@linux.intel.com>

>       (check_no_cilk): Dito.

I'm just curious, but isn't the english term "ditto" (im österreichischen ugs. 
"detto", think latin "idem") ?

Reply via email to