#!/bin/sh

set -e

#DEBHELPER#

if test "$1" = "purge"; then
	rm -f /etc/default/workaround-3415
fi

exit 0
