On Tue, Sep 1, 2020 at 11:55 AM Sebastian Huber
wrote:
>
> On 31/08/2020 08:55, Sebastian Huber wrote:
>
> > On 30/08/2020 18:41, Gedare Bloom wrote:
> >
> >> On Sun, Aug 30, 2020 at 10:15 AM Joel Sherrill wrote:
> >>>
> >>> On Sun, Aug 30, 2020, 11:02 AM Joel
> >>> Sherrill wrote:
>
>
On 31/08/2020 08:55, Sebastian Huber wrote:
On 30/08/2020 18:41, Gedare Bloom wrote:
On Sun, Aug 30, 2020 at 10:15 AM Joel Sherrill wrote:
On Sun, Aug 30, 2020, 11:02 AM Joel
Sherrill wrote:
On Sun, Aug 30, 2020, 10:22 AM Gedare Bloom wrote:
this is fairly mechanical. My only question
On 30/08/2020 18:41, Gedare Bloom wrote:
On Sun, Aug 30, 2020 at 10:15 AM Joel Sherrill wrote:
On Sun, Aug 30, 2020, 11:02 AM Joel Sherrill wrote:
On Sun, Aug 30, 2020, 10:22 AM Gedare Bloom wrote:
this is fairly mechanical. My only question is whether it is better to
keep the longer nam
On 31/8/20 2:41 am, Gedare Bloom wrote:
> On Sun, Aug 30, 2020 at 10:15 AM Joel Sherrill wrote:
>> On Sun, Aug 30, 2020, 11:02 AM Joel Sherrill wrote:
>>> On Sun, Aug 30, 2020, 10:22 AM Gedare Bloom wrote:
this is fairly mechanical. My only question is whether it is better to
keep
On Sun, Aug 30, 2020 at 10:15 AM Joel Sherrill wrote:
>
>
>
> On Sun, Aug 30, 2020, 11:02 AM Joel Sherrill wrote:
>>
>>
>>
>> On Sun, Aug 30, 2020, 10:22 AM Gedare Bloom wrote:
>>>
>>> this is fairly mechanical. My only question is whether it is better to
>>> keep the longer names for the direct
On Sun, Aug 30, 2020, 11:02 AM Joel Sherrill
wrote:
>
>
> On Sun, Aug 30, 2020, 10:22 AM Gedare Bloom wrote:
>
>> this is fairly mechanical. My only question is whether it is better to
>> keep the longer names for the directory. like... timer_manager/
>> instead of timer/ or to avoid abbreviati
this is fairly mechanical. My only question is whether it is better to
keep the longer names for the directory. like... timer_manager/
instead of timer/ or to avoid abbreviations like rate_monotonic/
instead of ratemon/
There are two decisions here: whether or not to say manager in a
directory, a
