On 27/11/17 16:06, Bernhard Voelker wrote:
> On 11/27/2017 07:21 PM, Pádraig Brady wrote:
>> Blush. Please apply.
>
> Thanks, pushed.
>
>>> BTW: what do you think about a new syntax-check rule to verify that
>>> all options in usage are actually supported?
>>> Some of the option checks for some
On 11/28/2017 11:03 AM, Pádraig Brady wrote:
Attached is a diff to change to using sed.
Thanks, I merged your changes.
Please note that this new check only works with the patch applied
discussed at:
http://lists.gnu.org/archive/html/coreutils/2017-11/msg00037.html
Thanks & have a nice day,
How about we remove all space characters in date/time?
I mean to display date/time like "11月21日 11:22" or "11月21日11:22".
On Fri, Nov 24, 2017 at 3:31 PM, Yasuaki Taniguchi/谷口康明
wrote:
> Hello.
>
> As for Japanese, I want to append "日", but I can't do it because of
> the
On 28/11/17 14:48, Bernhard Voelker wrote:
> On 11/28/2017 11:03 AM, Pádraig Brady wrote:
>> Attached is a diff to change to using sed.
>
> Thanks, I merged your changes.
>
> Please note that this new check only works with the patch applied
> discussed at:
>