#!/bin/sh

set -e

#DEBHELPER#

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

exit 0

# vim:set ai et sts=2 sw=2 tw=0:
