diff options
author | BenoƮt Knecht <benoit.knecht@fsfe.org> | 2011-07-11 00:38:34 +0200 |
---|---|---|
committer | Jim Meyering <meyering@redhat.com> | 2011-07-11 10:13:29 +0200 |
commit | 6cafe09c333f989469ff77dc2b3efb87cd080f43 (patch) | |
tree | c7628be5a88854a957d883f51dc4365a99f1c1ef | |
parent | f8f1c8111e78f24de8675b3bd074503330f62124 (diff) | |
download | coreutils-6cafe09c333f989469ff77dc2b3efb87cd080f43.tar.xz |
dircolors: highlight .webm multimedia files
* src/dircolors.hin: Add .webm multimedia files.
Suggested by Josh Triplett in http://bugs.debian.org/582403.
-rw-r--r-- | src/dircolors.hin | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dircolors.hin b/src/dircolors.hin index 97a8ee4aa..8b4a64567 100644 --- a/src/dircolors.hin +++ b/src/dircolors.hin @@ -163,6 +163,7 @@ EXEC 01;32 .mpeg 01;35 .m2v 01;35 .mkv 01;35 +.webm 01;35 .ogm 01;35 .mp4 01;35 .m4v 01;35 |