#!/bin/sh
set -e
# Automatically added by dh_installalternatives/13.14.1ubuntu5
if [ "$1" = "remove" ]; then
	update-alternatives --remove awk /usr/bin/mawk
fi
# End automatically added section
