view debian/postrm @ 7502:6a2b6f3d619c

best audio/video codec selection & init moved to libmpcodecs
author arpi
date Wed, 25 Sep 2002 23:45:34 +0000
parents f335b0da380c
children 8689fa04b837
line wrap: on
line source

#!/bin/sh

set -e

if [ "$1" = "purge" ]; then
  if [ -d /etc/mplayer/ ]; then
    rm -rf /etc/mplayer/
  fi
fi