On 1/7/19 11:24 AM, Pavel Machek wrote:
> On Mon 2019-01-07 11:06:27, Frank Rowand wrote:
>>
>> + Frank
>>
>> On 1/7/19 10:37 AM, Pavel Machek wrote:
>>> Is it "Device Tree" or "device tree"?
>>>
>>> pavel@duo:/data/l/k/Documentation$ grep -r "Device Tree" | wc -l
>>> 235
>>> pavel@duo:/da
On 1/7/19 10:45 AM, Rob Herring wrote:
> On Mon, Jan 7, 2019 at 12:37 PM Pavel Machek wrote:
>>
>> Is it "Device Tree" or "device tree"?
>>
>> pavel@duo:/data/l/k/Documentation$ grep -r "Device Tree" | wc -l
>> 235
>> pavel@duo:/data/l/k/Documentation$ grep -r "device tree" | wc -l
>> 595
>>
On Mon 2019-01-07 11:06:27, Frank Rowand wrote:
>
> + Frank
>
> On 1/7/19 10:37 AM, Pavel Machek wrote:
> > Is it "Device Tree" or "device tree"?
> >
> > pavel@duo:/data/l/k/Documentation$ grep -r "Device Tree" | wc -l
> > 235
> > pavel@duo:/data/l/k/Documentation$ grep -r "device tree"
+ Frank
On 1/7/19 10:37 AM, Pavel Machek wrote:
> Is it "Device Tree" or "device tree"?
>
> pavel@duo:/data/l/k/Documentation$ grep -r "Device Tree" | wc -l
> 235
> pavel@duo:/data/l/k/Documentation$ grep -r "device tree" | wc -l
> 595
>
> I guess it would be nice to make it cons
On Mon, Jan 7, 2019 at 12:37 PM Pavel Machek wrote:
>
> Is it "Device Tree" or "device tree"?
>
> pavel@duo:/data/l/k/Documentation$ grep -r "Device Tree" | wc -l
> 235
> pavel@duo:/data/l/k/Documentation$ grep -r "device tree" | wc -l
> 595
>
> I guess it would be nice to make it consistent
On Mon, Jan 07, 2019 at 07:37:11PM +0100, Pavel Machek wrote:
> Is it "Device Tree" or "device tree"?
>
> pavel@duo:/data/l/k/Documentation$ grep -r "Device Tree" | wc -l
> 235
> pavel@duo:/data/l/k/Documentation$ grep -r "device tree" | wc -l
> 595
You missed ...
$ git grep -r "Device
Is it "Device Tree" or "device tree"?
pavel@duo:/data/l/k/Documentation$ grep -r "Device Tree" | wc -l
235
pavel@duo:/data/l/k/Documentation$ grep -r "device tree" | wc -l
595
I guess it would be nice to make it consistent. I guess "device tree"
is preffered?
Should we do something
7 matches
Mail list logo