[debbugs-tracker] bug#25456: closed ([PATCH] dircolors: Highlight WIM archives.)

[GNU bug Tracking System]

Your message dated Sat, 21 Jan 2017 16:07:58 +0000
with message-id <address@hidden>
and subject line Re: bug#25456: [PATCH] dircolors: Highlight WIM archives.
has caused the debbugs.gnu.org bug report #25456,
regarding [PATCH] dircolors: Highlight WIM archives.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
25456: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=25456
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] dircolors: Highlight WIM archives.
>
>
>
>
> Date: 
>
> Sun, 15 Jan 2017 10:48:12 -0800
>
>
>
>
> ---
>  src/dircolors.hin | 4 ++++
>  1 file changed, 4 insertions(+)
>
> diff --git a/src/dircolors.hin b/src/dircolors.hin
> index c560c2a6f..fca51f23f 100644
> --- a/src/dircolors.hin
> +++ b/src/dircolors.hin
> @@ -126,6 +126,10 @@ EXEC 01;32
>  .7z  01;31
>  .rz  01;31
>  .cab 01;31
> +.wim 01;31
> +.swm 01;31
> +.dwm 01;31
> +.esd 01;31
>  
>  # image formats
>  .jpg 01;35
> -- 
> 2.11.0
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#25456: [PATCH] dircolors: Highlight WIM archives.
>
>
>
>
> Date: 
>
> Sat, 21 Jan 2017 16:07:58 +0000
>
>
>
>
> User-agent: 
>
> Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0
>
>
>
>
> On 15/01/17 18:48, Mike Swanson wrote:
> > ---
> >  src/dircolors.hin | 4 ++++
> >  1 file changed, 4 insertions(+)
> > 
> > diff --git a/src/dircolors.hin b/src/dircolors.hin
> > index c560c2a6f..fca51f23f 100644
> > --- a/src/dircolors.hin
> > +++ b/src/dircolors.hin
> > @@ -126,6 +126,10 @@ EXEC 01;32
> >  .7z  01;31
> >  .rz  01;31
> >  .cab 01;31
> > +.wim 01;31
> > +.swm 01;31
> > +.dwm 01;31
> > +.esd 01;31
>
> Common enough formats. Pushed.
>
> thanks,
> Pádraig
>
>
>
> --- End Message ---