r4241: Better support for old GNOME themes with GNOME-specific MIME names (Dennis
[rox-filer/translations.git] / Choices / 
tree7180b2c2eaf11219ef79652fad71b53e1e941556
drwxr-xr-x   ..
drwxr-xr-x - MIME-types