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") ?
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") ?