#!/bin/sh

set -e

# Automatically added by dh_installalternatives/13.6ubuntu1
if [ "$1" = "remove" ]; then
	update-alternatives --remove gdm-theme.gresource /usr/share/gnome-shell/gnome-shell-theme.gresource
fi
# End automatically added section