[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#15624: [PATCH] dircolors: add putty-256color terminal type
|
From: |
Bernhard Voelker |
|
Subject: |
bug#15624: [PATCH] dircolors: add putty-256color terminal type |
|
Date: |
Wed, 16 Oct 2013 08:03:15 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130329 Thunderbird/17.0.5 |
On 10/16/2013 01:06 AM, Pádraig Brady wrote:
> On 10/15/2013 09:04 PM, Mike Frysinger wrote:
>> * src/dircolors.hin: Add putty-256color
>> Reported-by: Thomas D. <address@hidden>, via
>> http://bugs.gnu.org/486786
> Pushed.
Thanks for pushing ... and also for fixing the bug URL
to http://bugs.gentoo.org/486786 (which is hereby also
in the bug-coreutils mailing list archive).
Have a nice day,
Berny