#!/bin/sh
set -e
# Automatically added by dh_installdeb/13.14.1ubuntu5
dpkg-maintscript-helper rm_conffile /etc/xdg/servicemenu.knsrc 4:20.08.2-1\~ dolphin -- "$@"
# End automatically added section